Maleki, Amir

2 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

ICLRW 2021 Geometry Encoding for Numerical Simulations Amir Maleki, Jan Heyse, Rishikesh Ranade, Haiyang He, Priya Kasimbeg, Jay Pathak