Synthesis of shared control protocols with provable safety and performance guarantees. - Nils Jansen 001; Murat Cubuktepe; Ufuk Topcu (ACC, 2017)

Sequential Convex Programming for the Efficient Verification of Parametric MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ivan Papusha; Hasan A. Poonawala; Ufuk Topcu (TACAS (2), 2017)

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. - Murat Cubuktepe; Mohamadreza Ahmadi; Ufuk Topcu; Brandon Hencey (ADHS, 2018)

Verification of Uncertain POMDPs Using Barrier Certificates. - Mohamadreza Ahmadi; Murat Cubuktepe; Nils Jansen 001; Ufuk Topcu (Allerton, 2018)

Entropy Maximization for Constrained Markov Decision Processes. - Yagiz Savas; Melkior Ornik; Murat Cubuktepe; Ufuk Topcu (Allerton, 2018)

Distributed Synthesis Using Accelerated ADMM. - Mohamadreza Ahmadi; Murat Cubuktepe; Ufuk Topcu; Takashi Tanaka (ACC, 2018)

Verification of Markov Decision Processes with Risk-Sensitive Measures. - Murat Cubuktepe; Ufuk Topcu (ACC, 2018)

Synthesis in pMDPs: A Tale of 1001 Parameters. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (ATVA, 2018)

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. - Yagiz Savas; Melkior Ornik; Murat Cubuktepe; Ufuk Topcu (CoRR, 2018)

The Partially Observable Games We Play for Cyber Deception. - Mohamadreza Ahmadi; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (CoRR, 2018)

Reward-Based Deception with Cognitive Bias. - Bo Wu 005; Murat Cubuktepe; Suda Bharadwaj; Ufuk Topcu (CDC, 2019)

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. - Bo Wu 005; Murat Cubuktepe; Ufuk Topcu (CDC, 2019)

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. - Murat Cubuktepe; Zhe Xu 005; Ufuk Topcu (AAMAS, 2020)

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. - Murat Cubuktepe; Takashi Tanaka; Ufuk Topcu (CDC, 2020)

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. - Marnix Suilen; Nils Jansen 001; Murat Cubuktepe; Ufuk Topcu (IJCAI, 2020)

Scenario-Based Verification of Uncertain MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (TACAS (1), 2020)

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. - Murat Cubuktepe; Zhe Xu 005; Ufuk Topcu (CoRR, 2020)

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. - Yagiz Savas; Melkior Ornik; Murat Cubuktepe; Mustafa O. Karabag; Ufuk Topcu (IEEE Trans. Autom. Control., 2020)

Robust Finite-State Controllers for Uncertain POMDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Ahmadreza Marandi; Marnix Suilen; Ufuk Topcu (AAAI, 2021)

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. - Frantisek Blahoudek; Murat Cubuktepe; Petr Novotný 001; Melkior Ornik; Pranay Thangeda; Ufuk Topcu (FM, 2021)

Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. - Murat Cubuktepe; Frantisek Blahoudek; Ufuk Topcu (CoRR, 2021)

Synthesis of Provably Correct Autonomy Protocols for Shared Control. - Murat Cubuktepe; Nils Jansen 001; Mohammed Alshiekh; Ufuk Topcu (IEEE Trans. Autom. Control., 2021)

Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. - Murat Cubuktepe; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 2021)

Task-Guided Inverse Reinforcement Learning under Partial Information. - Franck Djeumou; Murat Cubuktepe; Craig Lennon; Ufuk Topcu (ICAPS, 2022)

Verifiable and Compositional Reinforcement Learning Systems. - Cyrus Neary; Christos K. Verginis; Murat Cubuktepe; Ufuk Topcu (ICAPS, 2022)

Scenario-based verification of uncertain parametric MDPs. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Int. J. Softw. Tools Technol. Transf., 2022)

Convex Optimization for Parameter Synthesis in MDPs. - Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. - Murat Cubuktepe; Frantisek Blahoudek; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 2022)

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Zenodo, 2022)

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. - Thom S. Badings; Murat Cubuktepe; Nils Jansen 001; Sebastian Junges; Joost-Pieter Katoen; Ufuk Topcu (Zenodo, 2022)

Verifiable Reinforcement Learning Systems via Compositionality. - Cyrus Neary; Aryaman Singh Samyal; Christos K. Verginis; Murat Cubuktepe; 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)

Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. - Franck Djeumou; Zhe Xu 005; Murat Cubuktepe; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. - Bo Wu 005; Murat Cubuktepe; Franck Djeumou; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

Task-guided IRL in POMDPs that scales. - Franck Djeumou; Christian Ellis; Murat Cubuktepe; Craig Lennon; Ufuk Topcu (Artif. Intell., 2023)

Scalable Multi-Agent Reinforcement Learning for Warehouse Logistics with Robotic and Human Co-Workers. - Aleksandar Krnjaic; Raul D. Steleac; Jonathan D. Thomas; Georgios Papoudakis; Lukas Schäfer 001; Andrew Wing-Keung To; Kuan-Ho Lao; Murat Cubuktepe; Matthew Haley; Peter Börsting; Stefano V. Albrecht (IROS, 2024)