Irfan, Ahmed

1 publications

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