6 citations · 9 across the 7 of their papers we have counts for
18 papers
Convex Optimization for Parameter Synthesis in MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +2
Probabilistic model checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic ass…
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
Franck Djeumou, Zhe Xu, Murat Cubuktepe +1
We develop a probabilistic control algorithm, , for swarms of agents with heterogeneous dynamics and objectives, subject to high-level task specifications. The r…
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
Murat Cubuktepe, František Blahoudek, Ufuk Topcu
We study the problem of minimizing the resource capacity of autonomous agents cooperating to achieve a shared task. More specifically, we consider high-level planning for a team of…
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
We consider a discrete-time linear-quadratic Gaussian control problem in which we minimize a weighted sum of the directed information from the state of the system to the control in…
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications
Murat Cubuktepe, Zhe Xu, Ufuk Topcu
We study the synthesis of policies for multi-agent systems to implement spatial-temporal tasks. We formalize the problem as a factored Markov decision process subject to so-called…
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization
Marnix Suilen, Nils Jansen, Murat Cubuktepe +1
We study the problem of policy synthesis for uncertain partially observable Markov decision processes (uPOMDPs). The transition probability function of uPOMDPs is only known to bel…