Bayesian Safety Validation for Black-Box Systems. - Robert J. Moss; Mykel J. Kochenderfer; Maxime Gariel; Arthur Dubois (CoRR, 2023)

Formal and Practical Elements for the Certification of Machine Learning Systems. - Jean-Guillaume Durand; Arthur Dubois; Robert J. Moss (CoRR, 2023)

Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems. - Robert J. Moss; Mykel J. Kochenderfer; Maxime Gariel; Arthur Dubois (J. Aerosp. Inf. Syst., 2024)