'OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems', by Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer.

http://jmlr.org/papers/v23/21-0847.html

#bounds #benchmark #safety