Lopez, Diego Manzanas

1. NNV: The Neural Network Verification Tool for Deep Neural Networks and\n Learning-Enabled Cyber-Physical Systems
   2020/04/11 by Hoang-Dung Tran, Xiaodong Yang, Tran, Hoang-Dung +13 · 13 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Machine Learning (cs.LG) #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Reachability Analysis of a General Class of Neural Ordinary Differential Equations
   2022/07/13 by Diego Manzanas Lopez, Patrick Musau, Lopez, Diego Manzanas +5 · 2 citations
   Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Real-time simulation and control systems
3. Verification for Machine Learning, Autonomy, and Neural Networks Survey
   2018/10/03 by Weiming Xiang, Patrick Musau, Xiang, Weiming +13 · 1 citation
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG) #Machine Learning and Algorithms