Ahmed Irfan

1 catalog papers. Name-matched publications do not establish a verified researcher identity.

Publications

• OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems — Journal of Machine Learning Research 2022