Nathaniel Hamilton

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Autonomous Vehicles

Reinforcement Learning

Reachability Analysis

Top Venues

Publications

Kyle Dunlap, Kochise Bennett, David van Wijk, Nathaniel Hamilton, Kerianne Hobbs
Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection. CoRR (2024)
Nathaniel Hamilton, Kyle Dunlap, Kerianne L. Hobbs
Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls. CoRR (2024)
Cassie-Kay McQuinn, Kyle Dunlap, Nathaniel Hamilton, Jabari Wilson, Kerianne L. Hobbs
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering. CoRR (2024)
Kyle Dunlap, Nathaniel Hamilton, Zachary Lippay, Matt Shubert, Sean Phillips, Kerianne L. Hobbs
Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles. CoRR (2024)
Kyle Dunlap, Nathaniel Hamilton, Francisco Viramontes, Derrek Landauer, Evan Kain, Kerianne L. Hobbs
Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies. CoRR (2024)
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. CoRR (2022)
Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. ICAA (2022)
Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. ICAA (2022)
Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. SEFM (2022)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. FORMATS (2022)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
Reachability Analysis of a General Class of Neural Ordinary Differential Equations. CoRR (2022)
Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents. CoRR (2022)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) (2021)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
Case Study: Safety Verification of an Unmanned Underwater Vehicle. SP Workshops (2020)
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS (2019)
Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
Verification for Machine Learning, Autonomy, and Neural Networks Survey. CoRR (2018)
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. CoRR (2018)
Daniel B. Work, Raphael E. Stern, Fangyu Wu, Miles Churchill, Shumo Cui, Hannah Pohlmann, Benjamin Seibold, Benedetto Piccoli, Rahul Bhadani, Matt Bunting, Jonathan Sprinkle, Maria Laura Delle Monache, Nathaniel Hamilton, R'mani Haulcy
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract. SCAV@CPSWeek (2017)
Raphael E. Stern, Shumo Cui, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Miles Churchill, Nathaniel Hamilton, R'mani Haulcy, Hannah Pohlmann, Fangyu Wu, Benedetto Piccoli, Benjamin Seibold, Jonathan Sprinkle, Daniel B. Work
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments. CoRR (2017)