Taylor T. Johnson

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. Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
   2017/08/09 by Weiming Xiang, Xiang, Weiming, Hoang-Dung Tran +3 · 5 citations
   Computer Science · Engineering · #Advanced Memory and Neural Computing #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Fault Detection and Control Systems #Machine Learning (cs.LG)
3. The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
   2022/12/20 by Mark Niklas Müller, Müller, Mark Niklas, Christopher Brix +7 · 7 citations
   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) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
4. Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
   2020/04/26 by Weiming Xiang, Xiang, Weiming, Hoang-Dung Tran +5 · 4 citations
   Computer Science · Engineering · Physics and Astronomy · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #FOS: Mathematics #Fault Detection and Control Systems #Model Reduction and Neural Networks #Optimization and Control (math.OC) #Systems and Control (eess.SY) #electronic engineering #information engineering
5. The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results
   2023/12/28 by Christopher Brix, Stanley Bak, Brix, Christopher +5 · 7 citations
   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) #Radiation Effects in Electronics #Software Engineering (cs.SE)
6. Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator
   2019/10/09 by Joel A. Rosenfeld, Rosenfeld, Joel A., Rushikesh Kamalapurkar +5 · 3 citations
   Engineering · Physics and Astronomy · #Dynamical Systems (math.DS) #FOS: Mathematics #Fuel Cells and Related Materials #Machine Fault Diagnosis Techniques #Model Reduction and Neural Networks
7. The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
   2021/08/31 by Stanley Bak, Bak, Stanley, Changliu Liu +3 · 3 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Radiation Effects in Electronics #Software Testing and Debugging Techniques
8. Reachability Analysis and Safety Verification for Neural Network Control Systems
   2018/05/25 by Weiming Xiang, Xiang, Weiming, Taylor T. Johnson +1 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Electrical engineering #Fault Detection and Control Systems #Formal Methods in Verification #Systems and Control (eess.SY) #electronic engineering #information engineering
9. Neural Network Verification is a Programming Language Challenge
   2025/01/10 by Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin +8 · 1 voice · 2 citations
   Computer Science · #cs.PL #cs.LG #cs.LO
10. Reachability Analysis of a General Class of Neural Ordinary Differential Equations
    2022/07/13 by Diego Manzanas Lopez, Lopez, Diego Manzanas, Patrick Musau +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
11. Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes
    2023/12/27 by Xia Wang, Wang, Xia, Anda Liang +5 · 1 citation
    Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Topic Modeling #Traffic Prediction and Management Techniques
12. Verification for Machine Learning, Autonomy, and Neural Networks Survey
    2018/10/03 by Weiming Xiang, Xiang, Weiming, Patrick Musau +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
13. Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers
    2018/02/20 by Weiming Xiang, Hoang-Dung Tran, Xiang, Weiming +5 · 3 citations
    Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Fault Detection and Control Systems #Control Systems and Identification