Nathaniel Hamilton

Publications

A list of my publications, can also be found on my Google Scholar page.

2022

  1. Preston K Robinette, Benjamin K Heiner, Umberto Ravaioli, Nathaniel Hamilton, Taylor T Johnson, Kerianne L Hobbs. “Reinforcement Learning Heuristics for Aerospace Control Systems.” IEEE Aerospace Conference. [link]

  2. Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T Johnson. “Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.” International Conference on Assured Autonomy. [link]

  3. 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.” International Conference on Assured Autonomy. [link]

  4. Diego Manzanas Lopez, Patrick Musau, Nathaniel P Hamilton, Taylor T Johnson. “Reachability Analysis of a General Class of Neural Ordinary Differential Equations.” International Conference on Formal Modeling and Analysis of Timed Systems. [link]

  5. Nathaniel Hamilton, Preston K Robinette, Taylor T Johnson. “Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.” International Conference on Software Engineering and Formal Methods. [link]

2021

  1. 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.” International Conference on Computer Aided Verification. [link]

2020

  1. Nathaniel Hamilton, Lena Schlemmer, Christopher Menart, Chad Waddington, Todd Jenkins, Taylor T Johnson. “Sonic to knuckles: evaluations on transfer reinforcement learning.” Unmanned Systems Technology XXII. [link]

  2. Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T Jonhson. “Case Study: Safety Verification of an Unmanned Underwater Vehicle.” 2020 IEEE Security and Privacy Workshop (SPW). [link]

2019

  1. Fangyu Wu, Raphael E Stern, Shumo Cui, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Miles Churchill, Nathaniel Hamilton, Benedetto Piccoli, Benjamin Seibold, Jonathan Sprinkle, Daniel B Work. “Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methedology and data.” Transportation Research Part C: Emerging Technologies. [link]

  2. Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T Johnson. “Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.” 17th International Conference on Formal Modeling and Analysis of Timed Systems. [link]

2018

  1. Raphael E Stern, Shumo Cui, Maria Laura Delle Monache, Rahul Bhadani, Matt Bunting, Miles Churchill, Nathaniel Hamilton, 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.” Transportation Research Part C: Emerging Technologies. [link]

  2. Weiming Xiang, Patrick Musau, Ayana A Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel Rosenfeld, Taylor T Johnson. “Verification for machine learning, autonomy, and neural networks survey.” arXiv-pre-print. [link]