Human-in-the-Loop Synthesis for Partially Observable Markov Decision Processes. - Steven Carr 002; Nils Jansen 001; Ralf Wimmer 001; Jie Fu 002; Ufuk Topcu (ACC, 2018)

Myopic Control of Systems with Unknown Dynamics. - Melkior Ornik; Steven Carr 002; Arie Israel; Ufuk Topcu (ACC, 2019)

Counterexample-Guided Strategy Improvement for POMDPs Using Recurrent Neural Networks. - Steven Carr 002; Nils Jansen 001; Ralf Wimmer 001; Alexandru Constantin Serban; Bernd Becker 001; Ufuk Topcu (IJCAI, 2019)

Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Hasan Poonawala; Alejandro Barberia Chueca; Ufuk Topcu (NFM, 2019)

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (ACC, 2020)

Verifiable RNN-Based Policies for POMDPs Under Temporal Logic Constraints. - Steven Carr 002; Nils Jansen 001; Ufuk Topcu (IJCAI, 2020)

Control-Oriented Learning on the Fly. - Melkior Ornik; Steven Carr 002; Arie Israel; Ufuk Topcu (IEEE Trans. Autom. Control., 2020)

Decentralized Classification with Assume-Guarantee Planning. - Steven Carr 002; Jesse Quattrociocchi; Suda Bharadwaj; Steven J. Spencer; Anup Parikh; Carol C. Young; Stephen P. Buerger; Bo Wu 005; Ufuk Topcu (IROS, 2021)

Safe Policies for Factored Partially Observable Stochastic Games. - Steven Carr 002; Nils Jansen 001; Sudarshanan Bharadwaj; Matthijs T. J. Spaan; Ufuk Topcu (Robotics: Science and Systems, 2021)

Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes. - Steven Carr 002; Nils Jansen 001; Ufuk Topcu (J. Artif. Intell. Res., 2021)

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 2021)

Safe Reinforcement Learning via Shielding for POMDPs. - Steven Carr 002; Nils Jansen 001; Sebastian Junges; Ufuk Topcu (CoRR, 2022)

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Safe Reinforcement Learning via Shielding under Partial Observability. - Steven Carr 002; Nils Jansen 001; Sebastian Junges; Ufuk Topcu (AAAI, 2023)

Quantifying Faulty Assumptions in Heterogeneous Multi-Agent Systems *. - Steven Carr 002; Tichakorn Wongpiromsarn; Ufuk Topcu (CCTA, 2023)

Fine-Tuning Language Models Using Formal Methods Feedback. - Yunhao Yang; Neel P. Bhatt; Tyler Ingebrand; William Ward; Steven Carr 002; Zhangyang Wang; Ufuk Topcu (CoRR, 2023)

Formal Methods for Autonomous Systems. - Tichakorn Wongpiromsarn; Mahsa Ghasemi; Murat Cubuktepe; Georgios Bakirtzis; Steven Carr 002; Mustafa O. Karabag; Cyrus Neary; Parham Gohari; Ufuk Topcu (Found. Trends Syst. Control., 2023)

Dynamic Certification for Autonomous Systems. - Georgios Bakirtzis; Steven Carr 002; David Danks; Ufuk Topcu (Commun. ACM, 2023)

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 002; Atlas Wang; Ufuk Topcu (MLSys, 2024)

Adaptive planning for risk-aware predictive digital twins. - Marco Tezzele; Steven Carr 002; Ufuk Topcu; Karen E. Willcox (CoRR, 2024)

Pessimistic Iterative Planning for Robust POMDPs. - Maris F. L. Galesloot; Marnix Suilen; Thiago D. Simão; Steven Carr 002; Matthijs T. J. Spaan; Ufuk Topcu; Nils Jansen 001 (CoRR, 2024)