Seguir
Nathaniel Hamilton
Nathaniel Hamilton
AI Scientist, Parallax Advanced Research
Dirección de correo verificada de parallaxresearch.org - Página principal
Título
Citado por
Citado por
Año
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
7152018
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
1052018
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
622019
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
322021
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
192022
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
172022
Reachability analysis for high-index linear differential algebraic equations
HD Tran, LV Nguyen, N Hamilton, W Xiang, TT Johnson
Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019
112019
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
102022
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
72020
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
N Hamilton, K Dunlap, TT Johnson, KL Hobbs
2023 IEEE 9th International Conference on Space Mission Challenges for …, 2023
62023
Sonic to knuckles: evaluations on transfer reinforcement learning
N Hamilton, L Schlemmer, C Menart, C Waddington, T Jenkins, ...
Unmanned Systems Technology XXII 11425, 124-140, 2020
52020
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning
N Hamilton, PK Robinette, TT Johnson
International Conference on Software Engineering and Formal Methods, 190-206, 2022
42022
The arizona ring experiments dataset (ared)
F Wu, RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, ...
22018
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
12022
Reinforcement Learning Heuristics for Aerospace Control Systems
PK Robinette, BK Heiner, U Ravaioli, N Hamilton, TT Johnson, KL Hobbs
2022 IEEE Aerospace Conference (AERO), 1-12, 2022
12022
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
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering
CK McQuinn, K Dunlap, N Hamilton, J Wilson, KL Hobbs
arXiv preprint arXiv:2402.14723, 2024
2024
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces
PK Robinette, NP Hamilton, TT Johnson
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023
2023
Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces
PK Robinette, NP Hamilton, TT Johnson
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023
2023
Safe and Robust Reinforcement Learning for Autonomous Cyber-Physical Systems
N Hamilton
Vanderbilt University, 2022
2022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20