| 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 | 12 | 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 | 9 | 2018 |
| Control-oriented learning on the fly M Ornik, S Carr, A Israel, U Topcu IEEE Transactions on Automatic Control 65 (11), 4800-4807, 2019 | 5 | 2019 |
| Myopic control of systems with unknown dynamics M Ornik, S Carr, A Israel, U Topcu 2019 American Control Conference (ACC), 1064-1071, 2019 | 3 | 2019 |
| 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 | 3 | 2019 |
| 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 | 2 | 2020 |
| Verifiable RNN-based policies for POMDPs under temporal logic constraints S Carr, N Jansen, U Topcu arXiv preprint arXiv:2002.05615, 2020 | 1 | 2020 |
| Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu arXiv preprint arXiv:2008.00164, 2020 | | 2020 |
| Traffic Management for Urban Air Mobility AB Chueca, U Topcu NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX …, 2019 | | 2019 |
| Affine Multiplexing Networks: System Analysis, Learning, and Computation I Papusha, U Topcu, S Carr, N Lauffer arXiv preprint arXiv:1805.00164, 2018 | | 2018 |
