Follow
Nathaniel Hamilton
Nathaniel Hamilton
Graduate Student, Vanderbilt University
Verified email at vanderbilt.edu
Title
Cited by
Cited by
Year
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments
RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, M Churchill, ...
Transportation Research Part C: Emerging Technologies 89, 205-221, 2018
4352018
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
732018
Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data
F Wu, RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, ...
Transportation Research Part C: Emerging Technologies 99, 82-109, 2019
322019
Reachability analysis for high-index linear differential algebraic equations
HD Tran, LV Nguyen, N Hamilton, W Xiang, TT Johnson
International Conference on Formal Modeling and Analysis of Timed Systems …, 2019
7*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
42021
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
22020
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
12022
Sonic to knuckles: evaluations on transfer reinforcement learning
N Hamilton, L Schlemmer, C Menart, C Waddington, T Jenkins, ...
Unmanned Systems Technology XXII 11425, 114250J, 2020
12020
The arizona ring experiments dataset (ared)
F Wu, RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, ...
12018
Dissipation of stop-and-go waves via control of autonomous vehicles: Experimental results: Data
RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, M Churchill, ...
12017
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles
P Musau, N Hamilton, DM Lopez, P Robinette, TT Johnson
arXiv preprint arXiv:2205.01419, 2022
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
2022
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations
HD Tran, W Xiang, N Hamilton, TT Johnson
arXiv preprint arXiv:1804.03227, 2018
2018
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract
DB Work, R Stern, F Wu, M Churchill, S Cui, H Pohlmann, B Seibold, ...
Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017
2017
ICAA 2022
P Musau, N Hamilton, TT Johnson, S Lefcourt, N Gordon, C Ellis, ...
The system can't perform the operation now. Try again later.
Articles 1–15