2 papers
cs.LG2020
Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems
Robert J. Moss, Ritchie Lee, Nicholas Visser +3
To find failure events and their likelihoods in flight-critical systems, we investigate the use of an advanced black-box stress testing approach called adaptive stress testing. We…
cs.LG2020
Runtime Safety Assurance Using Reinforcement Learning
Christopher Lazarus, James G. Lopez, Mykel J. Kochenderfer
The airworthiness and safety of a non-pedigreed autopilot must be verified, but the cost to formally do so can be prohibitive. We can bypass formal verification of non-pedigreed co…