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…