| The Habitable Exoplanet Observatory (HabEx) mission concept study final report BS Gaudi, S Seager, B Mennesson, A Kiessling, K Warfield, K Cahoy, ... arXiv preprint arXiv:2001.06683, 2020 | 187 | 2020 |
| Safe reinforcement learning via shielding under partial observability S Carr, N Jansen, S Junges, U Topcu Proceedings of the AAAI conference on artificial intelligence 37 (12), 14748 …, 2023 | 96* | 2023 |
| Decentralized control synthesis for air traffic management in urban air mobility S Bharadwaj, S Carr, N Neogi, U Topcu IEEE Transactions on Control of Network Systems 8 (2), 598-608, 2021 | 57 | 2021 |
| Verifiable RNN-based policies for POMDPs under temporal logic constraints S Carr, N Jansen, U Topcu arXiv preprint arXiv:2002.05615, 2020 | 55 | 2020 |
| Counterexample-guided strategy improvement for pomdps using recurrent neural networks S Carr, N Jansen, R Wimmer, AC Serban, B Becker, U Topcu arXiv preprint arXiv:1903.08428, 2019 | 50 | 2019 |
| A survey of eVTOL aircraft and AAM operation hazards EL Thompson, AG Taye, W Guo, P Wei, M Quinones, I Ahmed, G Biswas, ... AIAA Aviation 2022 Forum, 3539, 2022 | 41 | 2022 |
| Task-aware verifiable RNN-based policies for partially observable Markov decision processes S Carr, N Jansen, U Topcu Journal of Artificial Intelligence Research 72, 819-847, 2021 | 35 | 2021 |
| Dynamic certification for autonomous systems G Bakirtzis, S Carr, D Danks, U Topcu Communications of the ACM 66 (9), 64-72, 2023 | 26 | 2023 |
| The habitable exoplanet observatory (HabEx) mission concept study final report. arXiv e-prints BS Gaudi, S Seager, B Mennesson, A Kiessling, K Warfield, K Cahoy, ... arXiv preprint arXiv:2001.06683, 2020 | 23 | 2020 |
| Control-oriented learning on the fly M Ornik, S Carr, A Israel, U Topcu IEEE Transactions on Automatic Control 65 (11), 4800-4807, 2019 | 21 | 2019 |
| Diabetes Insulin Guidance System: a real‐world evaluation of new technology (d‐Nav) to achieve glycaemic control in insulin‐treated type 2 diabetes R Donnelly, S Carr, R Harper Practical Diabetes 32 (7), 247-252a, 2015 | 20 | 2015 |
| Traffic management for urban air mobility S Bharadwaj, S Carr, N Neogi, H Poonawala, AB Chueca, U Topcu NASA Formal Methods Symposium, 71-87, 2019 | 18 | 2019 |
| Human-in-the-loop synthesis for partially observable Markov decision processes S Carr, N Jansen, R Wimmer, J Fu, U Topcu 2018 Annual American Control Conference (ACC), 762-769, 2018 | 16 | 2018 |
| Formal methods for autonomous systems T Wongpiromsarn, M Ghasemi, M Cubuktepe, G Bakirtzis, S Carr, ... arXiv preprint arXiv:2311.01258, 2023 | 13 | 2023 |
| Safe policies for factored partially observable stochastic games S Carr, N Jansen, S Bharadwaj, MTJ Spaan, U Topcu | 12 | 2021 |
| Fine-tuning language models using formal methods feedback: A use case in autonomous systems Y Yang, NP Bhatt, T Ingebrand, W Ward, S Carr, Z Wang, U Topcu Proceedings of Machine Learning and Systems 6, 339-350, 2024 | 11 | 2024 |
| Byzantine-resilient distributed hypothesis testing with time-varying network topology B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu IEEE Transactions on Automatic Control 67 (7), 3243-3258, 2021 | 11 | 2021 |
| Resilient distributed hypothesis testing with time-varying network topology B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu 2020 American Control Conference (ACC), 1483-1488, 2020 | 9 | 2020 |
| Adaptive planning for risk-aware predictive digital twins M Tezzele, S Carr, U Topcu, KE Willcox arXiv preprint arXiv:2407.20490, 2024 | 7 | 2024 |
| Myopic control of systems with unknown dynamics M Ornik, S Carr, A Israel, U Topcu 2019 American Control Conference (ACC), 1064-1071, 2019 | 6 | 2019 |
