Nathaniel Hamilton

22 papers B 1Journal 14Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Investigating the Impact of Observation Space Design Choices On Training Reinforcement Learning Solutions for Spacecraft Problems. CoRR Nathaniel Hamilton, Kyle Dunlap, Kerianne L. Hobbs
2025	J	`jnl`	The Safe Trusted Autonomy for Responsible Space Program. CoRR Kerianne L. Hobbs, Sean Phillips, Michelle Simon, Joseph B. Lyons, Jared Culbertson, Hamilton Scott Clouse, Nathaniel Hamilton, Kyle Dunlap, Zachary S. Lippay, Joshua Aurand, Zachary I. Bell, Taleri Hammack, Dorothy Ayres, Rizza Lim
2024	J	`jnl`	Deep Reinforcement Learning for Scalable Multiagent Spacecraft Inspection. CoRR Kyle Dunlap, Nathaniel Hamilton, Kerianne L. Hobbs
2024	J	`jnl`	Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles. CoRR Kyle Dunlap, Nathaniel Hamilton, Zachary S. Lippay, Matt Shubert, Sean Phillips, Kerianne L. Hobbs
2024	J	`jnl`	Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls. CoRR Nathaniel Hamilton, Kyle Dunlap, Kerianne L. Hobbs
2024	J	`jnl`	Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering. CoRR Cassie-Kay McQuinn, Kyle Dunlap, Nathaniel Hamilton, Jabari Wilson, Kerianne L. Hobbs
2024	J	`jnl`	Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection. CoRR Kyle Dunlap, Kochise Bennett, David van Wijk, Nathaniel Hamilton, Kerianne Hobbs
2024	J	`jnl`	Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies. CoRR Kyle Dunlap, Nathaniel Hamilton, Francisco Viramontes, Derrek Landauer, Evan Kain, Kerianne L. Hobbs
2022	J	`jnl`	Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents. CoRR Nathaniel Hamilton, Kyle Dunlap, Taylor T. Johnson, Kerianne L. Hobbs
2022	J	`jnl`	An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. CoRR Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
2022	—	`conf`	On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. ICAA Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
2022	—	`conf`	Reachability Analysis of a General Class of Neural Ordinary Differential Equations. FORMATS Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
2022	J	`jnl`	Reachability Analysis of a General Class of Neural Ordinary Differential Equations. CoRR Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
2022	B	`conf`	Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning. SEFM Nathaniel Hamilton, Preston Robinette, Taylor T. Johnson
2022	—	`conf`	Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. ICAA Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
2021	—	`conf`	Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
2020	—	`conf`	Case Study: Safety Verification of an Unmanned Underwater Vehicle. SP (Workshops) Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
2019	—	`conf`	Reachability Analysis for High-Index Linear Differential Algebraic Equations. FORMATS Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
2018	J	`jnl`	Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations. CoRR Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
2018	J	`jnl`	Verification for Machine Learning, Autonomy, and Neural Networks Survey. CoRR Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson
2017	—	`conf`	Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract. SCAV@CPSWeek 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
2017	J	`jnl`	Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments. CoRR 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