Steven Carr

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 30

Top Topics

Markov Decision Process

Traffic Management

Hypothesis Test

Top Venues

IEEE Trans. Autom. Control.

Publications

Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox
Adaptive planning for risk-aware predictive digital twins. CoRR (2024)
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. MLSys (2024)
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
Dynamic Certification for Autonomous Systems. Commun. ACM 66 (9) (2023)
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Safe Reinforcement Learning via Shielding under Partial Observability. AAAI (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10 (3-4) (2023)
Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
Formal Methods for Autonomous Systems. CoRR (2023)
Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu
. CCTA (2023)
Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu
Fine-Tuning Language Models Using Formal Methods Feedback. CoRR (2023)
Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
Safe Reinforcement Learning via Shielding for POMDPs. CoRR (2022)
Steven Carr, Yu Chin Cheng, Yu-Hsiang Hu, Jean Mayo, Ahmed Radwan, Ching-Kuang Shene, James W. Walker
Design and Use of a Visualization for Teaching Integer Coercion. SIGCSE (1) (2022)
Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
Dynamic Certification for Autonomous Systems. CoRR (2022)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. 67 (7) (2022)
Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu
Decentralized Classification with Assume-Guarantee Planning. IROS (2021)
James W. Walker, Steven Carr, Ahmed Radwan, Yu-Hsiang Hu, Yu Chin Cheng, Jean Mayo, Ching-Kuang Shene
A Visualization for Teaching Integer Coercion. ITiCSE (Working Group Reports) (2021)
Payal Mohadikar, Ye Duan, Steven Carr
Brain Intracranial Hemorrhage Segmentation using Unsupervised Learning on Volume CT Images. AIPR (2021)
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu
Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. 8 (2) (2021)
Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu
Safe Policies for Factored Partially Observable Stochastic Games. Robotics: Science and Systems (2021)
Steven Carr, Nils Jansen, Ufuk Topcu
Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. 72 (2021)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC (2020)
Steven Carr, Nils Jansen, Ufuk Topcu
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR (2020)
Steven Carr, Nils Jansen, Ufuk Topcu
Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI (2020)
Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR (2020)
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
Control-Oriented Learning on the Fly. IEEE Trans. Autom. Control. 65 (11) (2020)
Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
Myopic Control of Systems with Unknown Dynamics. ACC (2019)
James W. Walker, Man Wang, Steven Carr, Jean Mayo, Ching-Kuang Shene
Teaching Integer Security Using Simple Visualizations. ITiCSE (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR (2019)
Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
Traffic Management for Urban Air Mobility. NFM (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI (2019)
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC (2018)
Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR (2018)