1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LG2023★ 1 cited
Formal and Practical Elements for the Certification of Machine Learning Systems
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. Unlike traditional a…
cs.LG2023
Bayesian Safety Validation for Failure Probability Estimation of Black-Box Systems
Robert J. Moss, Mykel J. Kochenderfer, Maxime Gariel +1
Estimating the probability of failure is an important step in the certification of safety-critical systems. Efficient estimation methods are often needed due to the challenges pose…