Steven Carr - RankMe

29 papers A* 3A 2C 3Journal 17Unranked 4

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Compositional shield synthesis for safe reinforcement learning in partial observability. CoRR Steven Carr, Georgios Bakirtzis, Ufuk Topcu
2025	A	`conf`	Pessimistic Iterative Planning with RNNs for Robust POMDPs. ECAI Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2024	J	`jnl`	Adaptive planning for risk-aware predictive digital twins. CoRR Marco Tezzele, Steven Carr, Ufuk Topcu, Karen E. Willcox
2024	—	`conf`	Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems. MLSys Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Atlas Wang, Ufuk Topcu
2024	J	`jnl`	Pessimistic Iterative Planning for Robust POMDPs. CoRR Maris F. L. Galesloot, Marnix Suilen, Thiago D. Simão, Steven Carr, Matthijs T. J. Spaan, Ufuk Topcu, Nils Jansen
2023	J	`jnl`	Dynamic Certification for Autonomous Systems. Commun. ACM Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2023	J	`jnl`	Fine-Tuning Language Models Using Formal Methods Feedback. CoRR Yunhao Yang, Neel P. Bhatt, Tyler Ingebrand, William Ward, Steven Carr, Zhangyang Wang, Ufuk Topcu
2023	J	`jnl`	Formal Methods for Autonomous Systems. CoRR Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023	J	`jnl`	Formal Methods for Autonomous Systems. Found. Trends Syst. Control. Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023	—	`conf`	Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems CCTA Steven Carr, Tichakorn Wongpiromsarn, Ufuk Topcu
2023	A*	`conf`	Safe Reinforcement Learning via Shielding under Partial Observability. AAAI Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2022	J	`jnl`	Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2022	J	`jnl`	Dynamic Certification for Autonomous Systems. CoRR Georgios Bakirtzis, Steven Carr, David Danks, Ufuk Topcu
2022	J	`jnl`	Safe Reinforcement Learning via Shielding for POMDPs. CoRR Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu
2021	A	`conf`	Decentralized Classification with Assume-Guarantee Planning. IROS Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu
2021	J	`jnl`	Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu
2021	—	`conf`	Safe Policies for Factored Partially Observable Stochastic Games. Robotics: Science and Systems Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu
2021	J	`jnl`	Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. J. Artif. Intell. Res. Steven Carr, Nils Jansen, Ufuk Topcu
2020	J	`jnl`	Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Control-Oriented Learning on the Fly. IEEE Trans. Autom. Control. Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
2020	C	`conf`	Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020	A*	`conf`	Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. IJCAI Steven Carr, Nils Jansen, Ufuk Topcu
2020	J	`jnl`	Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. CoRR Steven Carr, Nils Jansen, Ufuk Topcu
2019	A*	`conf`	Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. IJCAI Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019	J	`jnl`	Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. CoRR Steven Carr, Nils Jansen, Ralf Wimmer, Alexandru Constantin Serban, Bernd Becker, Ufuk Topcu
2019	C	`conf`	Myopic Control of Systems with Unknown Dynamics. ACC Melkior Ornik, Steven Carr, Arie Israel, Ufuk Topcu
2019	—	`conf`	Traffic Management for Urban Air Mobility. NFM Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
2018	C	`conf`	Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. ACC Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu
2018	J	`jnl`	Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. CoRR Steven Carr, Nils Jansen, Ralf Wimmer, Jie Fu, Ufuk Topcu