Steven Carr
Title
Cited by
Cited by
Year
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
102019
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
82018
Control-oriented learning on the fly
M Ornik, SP Carr, A Israel, U Topcu
IEEE Transactions on Automatic Control, 2019
52019
Myopic control of systems with unknown dynamics
M Ornik, S Carr, A Israel, U Topcu
2019 American Control Conference (ACC), 1064-1071, 2019
32019
Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu
2
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints
S Carr, N Jansen, U Topcu
arXiv preprint arXiv:2002.05615, 2020
12020
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
12019
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
The system can't perform the operation now. Try again later.
Articles 1–10