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 | 322 | 2020 |
Star-based reachability analysis of deep neural networks HD Tran, D Manzanas Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 214 | 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 | 150 | 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 | 120 | 2018 |
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 | 62 | 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, ... Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 46 | 2021 |
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, 2019 | 40 | 2019 |
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants D Manzanas Lopez, M Althoff, L Benet, C Blab, M Forets, Y Jia, ... EPiC Series in Computing, 2024 | 39* | 2024 |
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 | 39 | 2020 |
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 | 27 | 2022 |
Verification of closed-loop systems with neural network controllers DM Lopez, P Musau, HD Tran, TT Johnson EPiC Series in Computing 61, 201-210, 2019 | 23 | 2019 |
Decentralized real-time safety verification for distributed cyber-physical systems HD Tran, LV Nguyen, P Musau, W Xiang, TT Johnson Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 22 | 2019 |
Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A W Xiang, P Musau, A Ayana Rosenfeld, and Taylor T. Johnson. Verification for machine learning …, 2018 | 22 | 2018 |
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 | 21 | 2022 |
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 | 17 | 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, 519-545, 2021 | 15 | 2021 |
Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel Rosenfeld, and Taylor T Johnson. 2018. Verification for machine learning, autonomy, and neural networks survey W Xiang, P Musau, A Ayana arXiv preprint arXiv:1810.01989, 2018 | 12 | 2018 |
Discovery of AI/ML supply chain vulnerabilities within automotive cyber-physical systems D Williams, C Clark, R McGahan, B Potteiger, D Cohen, P Musau 2022 IEEE International Conference on Assured Autonomy (ICAA), 93-96, 2022 | 7 | 2022 |
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 |
NNV: A tool for verification of deep neural networks and learning-enabled autonomous cyber-physical systems HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang, T Johnson International Conference on Computer-Aided Verification, 2020 | 6 | 2020 |