Search Results for author: Arthur Dubois

Found 2 papers, 2 papers with code

Formal and Practical Elements for the Certification of Machine Learning Systems

1 code implementation5 Oct 2023 Jean-Guillaume Durand, Arthur Dubois, Robert J. Moss

Over the past decade, machine learning has demonstrated impressive results, often surpassing human capabilities in sensing tasks relevant to autonomous flight.

Bayesian Safety Validation for Black-Box Systems

1 code implementation3 May 2023 Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel, Arthur Dubois

Accurately estimating the probability of failure for safety-critical systems is important for certification.

Bayesian Optimization

Cannot find the paper you are looking for? You can Submit a new open access paper.