Murat Cubuktepe

Orcid: 0000-0002-0409-2403

According to our database¹, Murat Cubuktepe authored at least 34 papers between 2017 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Task-guided IRL in POMDPs that scales.

[BibT_eX]

[DOI]

Artif. Intell., April, 2023

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

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

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2023

Formal Methods for Autonomous Systems.

[BibT_eX]

[DOI]

Tichakorn Wongpiromsarn

Found. Trends Syst. Control., 2023

Verifiable Reinforcement Learning Systems via Compositionality.

[BibT_eX]

[DOI]

CoRR, 2023

2022

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

[BibT_eX]

[DOI]

Dataset, June, 2022

Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning.

[BibT_eX]

[DOI]

Murat Cubuktepe

Frantisek Blahoudek

Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2022

Convex Optimization for Parameter Synthesis in MDPs.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Scenario-based verification of uncertain parametric MDPs.

[BibT_eX]

[DOI]

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

Verifiable and Compositional Reinforcement Learning Systems.

[BibT_eX]

[DOI]

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

Task-Guided Inverse Reinforcement Learning under Partial Information.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Murat Cubuktepe

Zhe Xu

Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2021

Synthesis of Provably Correct Autonomy Protocols for Shared Control.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

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

[BibT_eX]

[DOI]

Murat Cubuktepe

Frantisek Blahoudek

Ufuk Topcu

CoRR, 2021

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

[BibT_eX]

[DOI]

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

Robust Finite-State Controllers for Uncertain POMDPs.

[BibT_eX]

[DOI]

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

2020

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

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

[BibT_eX]

[DOI]

Murat Cubuktepe

Zhe Xu

Ufuk Topcu

CoRR, 2020

Scenario-Based Verification of Uncertain MDPs.

[BibT_eX]

[DOI]

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

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bo Wu

Murat Cubuktepe

Ufuk Topcu

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

Reward-Based Deception with Cognitive Bias.

[BibT_eX]

[DOI]

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

2018

The Partially Observable Games We Play for Cyber Deception.

[BibT_eX]

[DOI]

CoRR, 2018

Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints.

[BibT_eX]

[DOI]

CoRR, 2018

Synthesis in pMDPs: A Tale of 1001 Parameters.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2018

Verification of Markov Decision Processes with Risk-Sensitive Measures.

[BibT_eX]

[DOI]

Murat Cubuktepe

Ufuk Topcu

Proceedings of the 2018 Annual American Control Conference, 2018

Distributed Synthesis Using Accelerated ADMM.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Entropy Maximization for Constrained Markov Decision Processes.

[BibT_eX]

[DOI]

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

Verification of Uncertain POMDPs Using Barrier Certificates.

[BibT_eX]

[DOI]

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

Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Nils Jansen

Murat Cubuktepe

Ufuk Topcu

Proceedings of the 2017 American Control Conference, 2017

Murat Cubuktepe

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...