| 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 | 92 | 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 | 32 | 2019 |
| Verifiable RNN-based policies for POMDPs under temporal logic constraints S Carr, N Jansen, U Topcu arXiv preprint arXiv:2002.05615, 2020 | 28 | 2020 |
| Traffic management for urban air mobility S Bharadwaj, S Carr, N Neogi, H Poonawala, AB Chueca, U Topcu NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | 14 | 2019 |
| Safe reinforcement learning via shielding under partial observability S Carr, N Jansen, S Junges, U Topcu AAAI, 2023 | 13* | 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 | 13 | 2021 |
| Control-oriented learning on the fly M Ornik, S Carr, A Israel, U Topcu IEEE Transactions on Automatic Control 65 (11), 4800-4807, 2019 | 13 | 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 | 13 | 2018 |
| Dynamic Certification for Autonomous Systems G Bakirtzis, S Carr, D Danks, U Topcu arXiv preprint arXiv:2203.10950, 2022 | 7 | 2022 |
| 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 | 7 | 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 | 5 | 2020 |
| Myopic control of systems with unknown dynamics M Ornik, S Carr, A Israel, U Topcu 2019 American Control Conference (ACC), 1064-1071, 2019 | 5 | 2019 |
| 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 | 4 | 2021 |
| The Hollywood question: America and the belief in Jewish control over motion pictures before 1941 SA Carr University of Texas at Austin, 1994 | 4 | 1994 |
| 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 | 3 | 2022 |
| Safe Policies for Factored Partially Observable Stochastic Games. S Carr, N Jansen, S Bharadwaj, MTJ Spaan, U Topcu Robotics: Science and Systems, 2021 | 1 | 2021 |
| Decentralized Classification with Assume-Guarantee Planning * S Carr, J Quattrociocchi, S Bharadwaj, SJ Spencer, A Parikh, CC Young, ... 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2021 | | 2021 |
| Safe and effective two-in-one replicon-and-VLP minispike vaccine for COVID-19 (preprint) AA Hennrich, DH Banda, M Oberhuber, A Schopf, V Pfaffinger, K Wittwer, ... | | 2020 |
| Transmission of SARS-COV-2 from China to Europe and West Africa: a detailed phylogenetic analysis.(preprint) W Wruck, J Adjaye, M Takeshita, T Sekiya, M Hirohama, A Yamashita, ... | | 2020 |
| Traffic Management for Urban Air Mobility AB Chueca, U Topcu NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | | 2019 |
