Murat Cubuktepe

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Convex Optimization for Parameter Synthesis in MDPs IEEE Transactions on Automatic Control	2023-09-26	Paper
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach IEEE Transactions on Automatic Control	2023-09-26	Paper
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching IEEE Transactions on Automatic Control	2023-09-04	Paper
Synthesis in pMDPs: a tale of 1001 parameters Automated Technology for Verification and Analysis	2023-07-28	Paper
Task-guided IRL in POMDPs that scales Artificial Intelligence	2023-06-19	Paper
Scenario-based verification of uncertain MDPs Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Synthesis of Provably Correct Autonomy Protocols for Shared Control IEEE Transactions on Automatic Control	2021-07-26	Paper
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints IEEE Transactions on Automatic Control	2020-10-07	Paper
Sequential convex programming for the efficient verification of parametric MDPs Tools and Algorithms for the Construction and Analysis of Systems	2020-08-05	Paper
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization	2020-01-22	Paper
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis	2019-04-25	Paper
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets	2018-03-01	Paper
Distributed Synthesis Using Accelerated ADMM	2018-02-28	Paper

Research outcomes over time

This page was built for person: Murat Cubuktepe