Diego Manzanas Lopez

Verification for Machine Learning, Autonomy, and Neural Networks Survey

Weiming Xiang, Patrick Musau, Ayana A. Wild et al. · arXiv (Cornell University) · 2018 · 93 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +17

Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks

Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez et al. · 2019 · 49 citations

Artificial Intelligence, Engineering, Machine Learning +18

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems

Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez et al. · Lecture notes in computer science · 2020 · 30 citations · Full text

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau et al. · EPiC series in computing · 2020 · 25 citations · Full text

Artificial Intelligence, Engineering, Machine Learning +15

Verification of Closed-loop Systems with Neural Network Controllers

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran et al. · EPiC series in computing · 2019 · 18 citations · Full text

Artificial Intelligence, Real-time Control, Engineering +16