| NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems HD Tran, X Yang, D Manzanas Lopez, P Musau, LV Nguyen, W Xiang, ... International conference on computer aided verification, 3-17, 2020 | 405 | 2020 |
| Star-based reachability analysis of deep neural networks HD Tran, D Manzanas Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... International symposium on formal methods, 670-686, 2019 | 274 | 2019 |
| Safety verification of cyber-physical systems with reinforcement learning control HD Tran, F Cai, ML Diego, P Musau, TT Johnson, X Koutsoukos ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-22, 2019 | 182 | 2019 |
| Verification for machine learning, autonomy, and neural networks survey W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld, ... arXiv preprint arXiv:1810.01989, 2018 | 130 | 2018 |
| NNV 2.0: The neural network verification tool DM Lopez, SW Choi, HD Tran, TT Johnson International Conference on Computer Aided Verification, 397-412, 2023 | 88 | 2023 |
| Arch-comp22 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants DM Lopez, M Althoff, L Benet, X Chen, J Fan, M Forets, C Huang, ... 9th International Workshop on Applied Verification of Continuous and Hybrid …, 2022 | 82 | 2022 |
| Parallelizable reachability analysis algorithms for feed-forward neural networks HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang, TT Johnson 2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019 | 74 | 2019 |
| Robustness verification of semantic segmentation neural networks using relaxed reachability HD Tran, N Pal, P Musau, DM Lopez, N Hamilton, X Yang, S Bak, ... International conference on computer aided verification, 263-286, 2021 | 67 | 2021 |
| Arch-comp20 category report: Artificial intelligence and neural network control systems (ainncs) for continuous and hybrid systems plants TT Johnson, D Manzanas Lopez, P Musau, HD Tran, E Botoeva, ... EPiC Series in Computing 74, 2020 | 65 | 2020 |
| Reachable set estimation and verification for neural network models of nonlinear dynamic systems W Xiang, DM Lopez, P Musau, TT Johnson Safe, autonomous and intelligent vehicles, 123-144, 2018 | 43 | 2018 |
| Reachability analysis of a general class of neural ordinary differential equations D Manzanas Lopez, P Musau, NP Hamilton, TT Johnson International Conference on Formal Modeling and Analysis of Timed Systems …, 2022 | 36 | 2022 |
| Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter HD Tran, N Pal, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal aspects of computing 33 (4), 519-545, 2021 | 30 | 2021 |
| Zero-shot policy transfer in autonomous racing: reinforcement learning vs imitation learning N Hamilton, P Musau, DM Lopez, TT Johnson 2022 IEEE International Conference on Assured Autonomy (ICAA), 11-20, 2022 | 29 | 2022 |
| Evaluation of neural network verification methods for air-to-air collision avoidance D Manzanas Lopez, TT Johnson, S Bak, HD Tran, KL Hobbs Journal of Air Transportation 31 (1), 1-17, 2023 | 28 | 2023 |
| On using real-time reachability for the safety assurance of machine learning controllers P Musau, N Hamilton, DM Lopez, P Robinette, TT Johnson 2022 IEEE International Conference on Assured Autonomy (ICAA), 1-10, 2022 | 28 | 2022 |
| Verification of Closed-loop Systems with Neural Network Controllers. DM Lopez, P Musau, HD Tran, TT Johnson ARCH@ CPSIoTWeek, 201-210, 2019 | 26 | 2019 |
| Verification of neural network compression of ACAS Xu lookup tables with star set reachability D Manzanas Lopez, T Johnson, HD Tran, S Bak, X Chen, KL Hobbs AIAA Scitech 2021 Forum, 0995, 2021 | 21 | 2021 |
| Fairnnv: The neural network verification tool for certifying fairness AM Tumlin, D Manzanas Lopez, P Robinette, Y Zhao, T Derr, TT Johnson Proceedings of the 5th ACM International Conference on AI in Finance, 36-44, 2024 | 11 | 2024 |
| Case study: neural network malware detection verification for feature and image datasets PK Robinette, D Manzanas Lopez, S Serbinowska, K Leach, TT Johnson Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal …, 2024 | 7 | 2024 |
| Case study: Safety verification of an unmanned underwater vehicle DM Lopez, P Musau, N Hamilton, HD Tran, TT Jonhson 2020 IEEE Security and Privacy Workshops (SPW), 189-195, 2020 | 7 | 2020 |
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityVerified email at vanderbilt.edu
