| 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 | 865 | 2018 |
| 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 | 126 | 2018 |
| 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 | 89 | 2019 |
| 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 | 47 | 2021 |
| 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 | 22 | 2022 |
| 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 | 22 | 2022 |
| Reachability Analysis of a General Class of Neural Ordinary Differential Equations. DM Lopez, P Musau, N Hamilton, TT Johnson FORMATS, 258-277, 2022 | 18 | 2022 |
| 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 | 17 | 2023 |
| 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 | 15 | 2022 |
| 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 | 11 | 2022 |
| 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 | 11 | 2019 |
| 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 | 10 | 2020 |
| 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 | 7 | 2020 |
| Run Time Assured Reinforcement Learning for Six Degree-of-Freedom Spacecraft Inspection K Dunlap, K Bennett, D van Wijk, N Hamilton, K Hobbs AIAA AVIATION FORUM AND ASCEND 2024, 4935, 2024 | 6 | 2024 |
| Run Time Assurance for Simultaneous Constraint Satisfaction During Spacecraft Attitude Maneuvering CK McQuinn, K Dunlap, N Hamilton, J Wilson, KL Hobbs 2024 IEEE Aerospace Conference, 1-12, 2024 | 4 | 2024 |
| The Safe Trusted Autonomy for Responsible Space Program KL Hobbs, S Phillips, M Simon, JB Lyons, J Culbertson, HS Clouse, ... arXiv preprint arXiv:2501.05984, 2025 | 2 | 2025 |
| Space Processor Computation Time Analysis for Reinforcement Learning and Run Time Assurance Control Policies NP Hamilton, K Dunlap, F Viramontes, D Landauer, E Kain, KL Hobbs AIAA SCITECH 2025 Forum, 1144, 2025 | 2 | 2025 |
| Demonstrating Reinforcement Learning and Run Time Assurance for Spacecraft Inspection Using Unmanned Aerial Vehicles K Dunlap, NP Hamilton, Z Lippay, M Shubert, S Phillips, KL Hobbs AIAA SCITECH 2025 Forum, 0756, 2025 | 2 | 2025 |
| Investigating the Impact of Choice on Deep Reinforcement Learning for Space Controls N Hamilton, K Dunlap, KL Hobbs 2024 IEEE 10th International Conference on Space Mission Challenges for …, 2024 | 2 | 2024 |
| 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 | 2 | 2022 |
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt Universityvanderbilt.edu üzerinde doğrulanmış e-posta adresine sahip