Area of research
Artificial Intelligence · Computer Vision and Pattern Recognition
Research interest
Research interests include Adversarial Robustness in Machine Learning, Advanced Neural Network Applications, Evacuation and Crowd Dynamics, and Autonomous Vehicle Technology and Safety.
Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
Global optimization of objective functions represented by ReLU networks
The Marabou Framework for Verification and Analysis of Deep Neural Networks
Deep Neural Network Compression for Aircraft Collision Avoidance Systems
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Policy compression for aircraft collision avoidance systems