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
132019
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
92018
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
82019
Control-oriented learning on the fly
M Ornik, S Carr, A Israel, U Topcu
IEEE Transactions on Automatic Control 65 (11), 4800-4807, 2019
72019
Verifiable RNN-based policies for POMDPs under temporal logic constraints
S Carr, N Jansen, U Topcu
arXiv preprint arXiv:2002.05615, 2020
62020
Decentralized control synthesis for air traffic management in urban air mobility
S Bharadwaj, SP Carr, NA Neogi, U Topcu
IEEE Transactions on Control of Network Systems, 2021
42021
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
32020
Myopic control of systems with unknown dynamics
M Ornik, S Carr, A Israel, U Topcu
2019 American Control Conference (ACC), 1064-1071, 2019
32019
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
B Wu, SP Carr, S Bharadwaj, Z Xu, U Topcu
IEEE Transactions on Automatic Control, 2021
12021
Safe Policies for Factored Partially Observable Stochastic Games
S Carr, N Jansen, S Bharadwaj, M Spaan, U Topcu
[Sl: sn], 2021
2021
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–12