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

Chelsea Sidrane, Amir Maleki, Ahmed Irfan +1

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…