Learning Verifiable Control Policies Using Relaxed Verification

Puja Chaudhury, Alexander Estornell, Michael Everett

To provide safety guarantees for learning-based control systems, recent work has developed formal verification methods to apply after training ends. However, if the trained policy…