Nathaniel Hamilton

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles

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

Dissipation of Stop-and-Go Waves via Control of Autonomous Vehicles: Experimental Results: Data

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

Reachability Analysis of a General Class of Neural Ordinary Differential Equations

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

Dampening traffic waves with autonomous vehicles

Raphael E. Stern, B. Piccoli, D. Work, 2016 .

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.