Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal). - Patrick Musau; Taylor T. Johnson (ARCH@ADHS, 2018)

Linear Differential-Algebraic Equations (Benchmark Proposal). - Patrick Musau; Diego Manzanas Lopez; Hoang-Dung Tran; Taylor T. Johnson (ARCH@ADHS, 2018)

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. - Weiming Xiang 001; Diego Manzanas Lopez; Patrick Musau; Taylor T. Johnson (CoRR, 2018)

Verification for Machine Learning, Autonomy, and Neural Networks Survey. - Weiming Xiang 001; Patrick Musau; Ayana A. Wild; Diego Manzanas Lopez; Nathaniel Hamilton; Xiaodong Yang; Joel A. Rosenfeld; Taylor T. Johnson (CoRR, 2018)

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. - Diego Manzanas Lopez; Patrick Musau; Hoang-Dung Tran; Souradeep Dutta; Taylor J. Carpenter; Radoslav Ivanov; Taylor T. Johnson (ARCH@CPSIoTWeek, 2019)

Verification of Closed-loop Systems with Neural Network Controllers. - Diego Manzanas Lopez; Patrick Musau; Hoang-Dung Tran; Taylor T. Johnson (ARCH@CPSIoTWeek, 2019)

Star-Based Reachability Analysis of Deep Neural Networks. - Hoang-Dung Tran; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FM, 2019)

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (FORTE, 2019)

Parallelizable reachability analysis algorithms for feed-forward neural networks. - Hoang-Dung Tran; Patrick Musau; Diego Manzanas Lopez; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FormaliSE@ICSE, 2019)

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. - Hoang-Dung Tran; Feiyang Cai; Diego Manzanas Lopez; Patrick Musau; Taylor T. Johnson; Xenofon D. Koutsoukos (ACM Trans. Embed. Comput. Syst., 2019)

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; Hoang-Dung Tran; Elena Botoeva; Francesco Leofante; Amir Maleki; Chelsea Sidrane; Jiameng Fan; Chao Huang 015 (ARCH, 2020)

NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. - Hoang-Dung Tran; Xiaodong Yang; Diego Manzanas Lopez; Patrick Musau; Luan Viet Nguyen; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (CAV (1), 2020)

Case Study: Safety Verification of an Unmanned Underwater Vehicle. - Diego Manzanas Lopez; Patrick Musau; Nathaniel Hamilton; Hoang-Dung Tran; Taylor T. Johnson (SP (Workshops), 2020)

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. - Hoang-Dung Tran; Neelanjana Pal; Patrick Musau; Diego Manzanas Lopez; Nathaniel Hamilton; Xiaodong Yang; Stanley Bak; Taylor T. Johnson (CAV (1), 2021)

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. - Hoang-Dung Tran; Neelanjana Pal; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (Formal Aspects Comput., 2021)

Reachability Analysis of a General Class of Neural Ordinary Differential Equations. - Diego Manzanas Lopez; Patrick Musau; Nathaniel Hamilton; Taylor T. Johnson (FORMATS, 2022)

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. - Nathaniel Hamilton; Patrick Musau; Diego Manzanas Lopez; Taylor T. Johnson (ICAA, 2022)

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. - Patrick Musau; Nathaniel Hamilton; Diego Manzanas Lopez; Preston Robinette; Taylor T. Johnson (ICAA, 2022)

Discovery of AI/ML Supply Chain Vulnerabilities within Automotive Cyber-Physical Systems. - Daniel Williams; Chelece Clark; Rachel McGahan; Bradley Potteiger; Daniel Cohen; Patrick Musau (ICAA, 2022)

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. - Patrick Musau; Nathaniel Hamilton; Diego Manzanas Lopez; Preston Robinette; Taylor T. Johnson (CoRR, 2022)

Real-Time Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (Leibniz Trans. Embed. Syst., 2022)

Zero-Shot Policy Transfer in Autonomous Racing:Reinforcement Learning vs Imitation Learning. - Nathaniel Hamilton; Patrick Musau; Diego Manzanas Lopez; Taylor T. Johnson (Zenodo, 2022)

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. - Patrick Musau; Nathaniel Hamilton; Diego Manzanas Lopez; Preston Robinette; Taylor T. Johnson (Zenodo, 2022)

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. - Patrick Musau; Nathaniel Hamilton; Diego Manzanas Lopez; Preston Robinette; Taylor T. Johnson (Zenodo, 2022)

Online Reachability Analysis and Space Convexification for Autonomous Racing. - Sergiy Bogomolov; Taylor T. Johnson; Diego Manzanas Lopez; Patrick Musau; Paulius Stankaitis (FMAS@iFM, 2023)