Nathaniel P. Hamilton

Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments pdf

Maria Laura Delle Monache, Benjamin Seibold, Fangyu Wu, 2017, ArXiv.

Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data

Maria Laura Delle Monache, Fangyu Wu, Benedetto Piccoli, 2019, Transportation Research Part C: Emerging Technologies.

Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability

Taylor T. Johnson, Stanley Bak, Hoang-Dung Tran, 2021, CAV.

Case Study: Safety Verification of an Unmanned Underwater Vehicle

Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, 2020, 2020 IEEE Security and Privacy Workshops (SPW).

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents

Taylor T. Johnson, Kerianne L. Hobbs, Kerianne Hobbs, 2022, 2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT).

Verification for Machine Learning, Autonomy, and Neural Networks Survey pdf

Weiming Xiang, Taylor T. Johnson, Xiaodong Yang, 2018, ArXiv.

The Arizona Ring Experiments Dataset (ARED)

Maria Laura Delle Monache, Benjamin Seibold, Fangyu Wu, 2018 .

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, 2022, 2022 IEEE International Conference on Assured Autonomy (ICAA).

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, 2022, FORMATS.