Search Results for author: Ahmed Irfan

Found 2 papers, 1 papers with code

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

2 code implementations3 Aug 2021 Chelsea Sidrane, Amir Maleki, Ahmed Irfan, Mykel J. Kochenderfer

In response to this challenge, we present OVERT: a sound algorithm for safety verification of nonlinear discrete-time closed loop dynamical systems with neural network control policies.

Parallelization Techniques for Verifying Neural Networks

no code implementations17 Apr 2020 Haoze Wu, Alex Ozdemir, Aleksandar Zeljić, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina Pasareanu, Clark Barrett

Inspired by recent successes with parallel optimization techniques for solving Boolean satisfiability, we investigate a set of strategies and heuristics that aim to leverage parallel computing to improve the scalability of neural network verification.

Cannot find the paper you are looking for? You can Submit a new open access paper.