Murat Cubuktepe

According to our database, Murat Cubuktepe authored at least 35 papers between 2017 and 2024.

Collaborative distances:

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

2024

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, Andrew Wing-Keung To, Kuan-Ho Lao, Murat Cubuktepe, Matthew Haley, Peter Börsting, Stefano V. Albrecht

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

2023

Task-guided IRL in POMDPs that scales.

Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu

Artif. Intell., April, 2023

Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching.

Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu

IEEE Trans. Autom. Control., 2023

Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach.

Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu

IEEE Trans. Autom. Control., 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

Verifiable Reinforcement Learning Systems via Compositionality.

Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu

CoRR, 2023

2022

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'.

Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Dataset, June, 2022

Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning.

Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2022

Convex Optimization for Parameter Synthesis in MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

IEEE Trans. Autom. Control., 2022

Scenario-based verification of uncertain parametric MDPs.

Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Int. J. Softw. Tools Technol. Transf., 2022

Verifiable and Compositional Reinforcement Learning Systems.

Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Task-Guided Inverse Reinforcement Learning under Partial Information.

Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

2021

Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications.

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2021

Synthesis of Provably Correct Autonomy Protocols for Shared Control.

Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu

IEEE Trans. Autom. Control., 2021

Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning.

Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu

CoRR, 2021

Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption.

Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu

Proceedings of the Formal Methods - 24th International Symposium, 2021

Robust Finite-State Controllers for Uncertain POMDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

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

Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications.

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

CoRR, 2020

Scenario-Based Verification of Uncertain MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.

Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu

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

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization.

Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications.

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis.

Bo Wu, Murat Cubuktepe, Ufuk Topcu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reward-Based Deception with Cognitive Bias.

Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

The Partially Observable Games We Play for Cyber Deception.

Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

CoRR, 2018

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.

Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu

CoRR, 2018

Synthesis in pMDPs: A Tale of 1001 Parameters.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu

Proceedings of the Automated Technology for Verification and Analysis, 2018

Verification of Markov Decision Processes with Risk-Sensitive Measures.

Murat Cubuktepe, Ufuk Topcu

Proceedings of the 2018 Annual American Control Conference, 2018

Distributed Synthesis Using Accelerated ADMM.

Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka

Proceedings of the 2018 Annual American Control Conference, 2018

Entropy Maximization for Constrained Markov Decision Processes.

Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Verification of Uncertain POMDPs Using Barrier Certificates.

Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.

Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Sequential Convex Programming for the Efficient Verification of Parametric MDPs.

Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Synthesis of shared control protocols with provable safety and performance guarantees.

Nils Jansen, Murat Cubuktepe, Ufuk Topcu

Proceedings of the 2017 American Control Conference, 2017