Steven Carr

According to our database, Steven Carr authored at least 21 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Pessimistic Iterative Planning for Robust POMDPs.

Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen

CoRR, 2024

Adaptive planning for risk-aware predictive digital twins.

Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox

CoRR, 2024

Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu

Proceedings of the Seventh Annual Conference on Machine Learning and Systems, 2024

2023

Dynamic Certification for Autonomous Systems.

Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu

Commun. ACM, September, 2023

Formal Methods for Autonomous Systems.

Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu

Found. Trends Syst. Control., 2023

Fine-Tuning Language Models Using Formal Methods Feedback.

Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu

CoRR, 2023

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems ^*.

Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu

Proceedings of the IEEE Conference on Control Technology and Applications, 2023

Safe Reinforcement Learning via Shielding under Partial Observability.

Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.

Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu

IEEE Trans. Autom. Control., 2022

Safe Reinforcement Learning via Shielding for POMDPs.

Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

CoRR, 2022

2021

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2021

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes.

Steven Carr, Nils Jansen, Ufuk Topcu

J. Artif. Intell. Res., 2021

Safe Policies for Factored Partially Observable Stochastic Games.

Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Decentralized Classification with Assume-Guarantee Planning.

Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020

Control-Oriented Learning on the Fly.

Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu

IEEE Trans. Autom. Control., 2020

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints.

Steven Carr, Nils Jansen, Ufuk Topcu

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.

Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu

Proceedings of the 2020 American Control Conference, 2020

2019

Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks.

Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Myopic Control of Systems with Unknown Dynamics.

Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

2018

Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes.

Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu

Proceedings of the 2018 Annual American Control Conference, 2018