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…