Murat Cubuktepe

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 52

Top Topics

Markov Decision Process

Partially Observable

Reinforcement Learning

Top Venues

IEEE Trans. Autom. Control.

Publications

Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. 68 (4) (2023)
Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
Task-guided IRL in POMDPs that scales. Artif. Intell. 317 (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)
Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
Verifiable Reinforcement Learning Systems via Compositionality. CoRR (2023)
Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
Task-Guided IRL in POMDPs that Scales. CoRR (2023)
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. 68 (1) (2023)
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. IEEE Trans. Control. Netw. Syst. 9 (3) (2022)
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
Verifiable and Compositional Reinforcement Learning Systems. ICAPS (2022)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
Task-Guided Inverse Reinforcement Learning under Partial Information. ICAPS (2022)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67 (12) (2022)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Convex Optimization for Parameter Synthesis in MDPs. CoRR (2021)
Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
Verifiable and Compositional Reinforcement Learning Systems. CoRR (2021)
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. 66 (7) (2021)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 8 (4) (2021)
Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. CoRR (2021)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
Robust Finite-State Controllers for Uncertain POMDPs. AAAI (2021)
Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM (2021)
Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
Task-Guided Inverse Reinforcement Learning Under Partial Information. CoRR (2021)
Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR (2021)
Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR (2021)
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization CoRR (2020)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR (2020)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR (2020)
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CDC (2020)
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CoRR (2020)
Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI (2020)
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Mustafa O. Karabag, Ufuk Topcu
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. IEEE Trans. Autom. Control. 65 (4) (2020)
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS (2020)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain MDPs. TACAS (1) (2020)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
Robust Finite-State Controllers for Uncertain POMDPs. CoRR (2020)
Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR (2020)
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
Reward-Based Deception with Cognitive Bias. CDC (2019)
Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
Reward-Based Deception with Cognitive Bias. CoRR (2019)
Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR (2019)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Scenario-Based Verification of Uncertain MDPs. CoRR (2019)
Bo Wu, Murat Cubuktepe, Ufuk Topcu
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC (2019)
Murat Cubuktepe, Ufuk Topcu
Verification of Markov Decision Processes with Risk-Sensitive Measures. CoRR (2018)
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. CoRR (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
The Partially Observable Games We Play for Cyber Deception. CoRR (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR (2018)
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS (2018)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA (2018)
Murat Cubuktepe, Ufuk Topcu
Verification of Markov Decision Processes with Risk-Sensitive Measures. ACC (2018)
Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
Entropy Maximization for Constrained Markov Decision Processes. Allerton (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka
Distributed Synthesis Using Accelerated ADMM. ACC (2018)
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton (2018)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) (2017)
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
Synthesis of shared control protocols with provable safety and performance guarantees. ACC (2017)
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR (2017)
Nils Jansen, Murat Cubuktepe, Ufuk Topcu
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR (2016)