Nathaniel Hamilton
Orcid: 0000-0002-7147-1964
According to our database1,
Nathaniel Hamilton
authored at least 21 papers
between 2017 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection.
CoRR, 2024
Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls.
CoRR, 2024
Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies.
CoRR, 2024
Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles.
CoRR, 2024
Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering.
CoRR, 2024
2023
DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforcement Learning in Discrete Action Spaces.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
2022
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents.
CoRR, 2022
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.
CoRR, 2022
Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning.
Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.
Proceedings of the IEEE International Conference on Assured Autonomy, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
2021
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2020
Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020
2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
2018
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.
CoRR, 2018
2017
Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments.
CoRR, 2017
Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract.
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, 2017