| 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 | 435 | 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 | 73 | 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 | 32 | 2019 |
| Reachability analysis for high-index linear differential algebraic equations HD Tran, LV Nguyen, N Hamilton, W Xiang, TT Johnson International Conference on Formal Modeling and Analysis of Timed Systems …, 2019 | 7* | 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, ... International Conference on Computer Aided Verification, 263-286, 2021 | 4 | 2021 |
| 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 | 2 | 2020 |
| 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 | 1 | 2022 |
| Sonic to knuckles: evaluations on transfer reinforcement learning N Hamilton, L Schlemmer, C Menart, C Waddington, T Jenkins, ... Unmanned Systems Technology XXII 11425, 114250J, 2020 | 1 | 2020 |
| The arizona ring experiments dataset (ared) F Wu, RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, ... | 1 | 2018 |
| Dissipation of stop-and-go waves via control of autonomous vehicles: Experimental results: Data RE Stern, S Cui, ML Delle Monache, R Bhadani, M Bunting, M Churchill, ... | 1 | 2017 |
| 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 | | 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 | | 2022 |
| Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations HD Tran, W Xiang, N Hamilton, TT Johnson arXiv preprint arXiv:1804.03227, 2018 | | 2018 |
| Controlling for Unsafe Events in Dense Traffic through Autonomous Vehicles: Invited Talk Abstract DB Work, R Stern, F Wu, M Churchill, S Cui, H Pohlmann, B Seibold, ... Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017 | | 2017 |
| ICAA 2022 P Musau, N Hamilton, TT Johnson, S Lefcourt, N Gordon, C Ellis, ... | | |
