TY  - RPRT
TI  - Formal and Practical Elements for the Certification of Machine Learning Systems
AU  - Jean-Guillaume Durand
AU  - Arthur Dubois
AU  - Robert J. Moss
PY  - 2023
UR  - https://arxiv.org/abs/2310.03217
ID  - 2310.03217
ER  -