Seguir
Steven Carr
Título
Citado por
Citado por
Ano
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
822020
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
272019
Verifiable RNN-based policies for POMDPs under temporal logic constraints
S Carr, N Jansen, U Topcu
arXiv preprint arXiv:2002.05615, 2020
232020
Control-oriented learning on the fly
M Ornik, S Carr, A Israel, U Topcu
IEEE Transactions on Automatic Control 65 (11), 4800-4807, 2019
122019
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
112019
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
112018
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
92021
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
62021
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
52020
Myopic control of systems with unknown dynamics
M Ornik, S Carr, A Israel, U Topcu
2019 American Control Conference (ACC), 1064-1071, 2019
52019
The Hollywood question: America and the belief in Jewish control over motion pictures before 1941
SA Carr
University of Texas at Austin, 1994
41994
Safe Reinforcement Learning via Shielding under Partial Observability
S Carr, N Jansen, S Junges, U Topcu
arXiv preprint arXiv:2204.00755, 2022
3*2022
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
32022
Dynamic Certification for Autonomous Systems
G Bakirtzis, S Carr, D Danks, U Topcu
arXiv preprint arXiv:2203.10950, 2022
22022
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
12021
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 Policies for Factored Partially Observable Stochastic Games.
S Carr, N Jansen, S Bharadwaj, MTJ Spaan, U Topcu
Robotics: Science and Systems, 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
Duality Bounds for Discrete-Time Zames–Falb Multipliers.................... J. Zhang, J. Carrasco, and WP Heath 3521
B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20