OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems

Understand

Deep learning methods can be used to produce control policies, but certifying their safety is challenging.

• The resulting networks are nonlinear and often very large.
• In response to this challenge, we present OVERT: a sound algorithm for safety verification of nonlinear discrete-time closed loop dynamical systems with neural network control policies.
• The novelty of OVERT lies in combining ideas from the classical formal methods literature with ideas from the newer neural network verification literature.