activity
20162026
most citedEntropy Maximization for Markov Decision Processes Under Temporal Logic Constraints

28 citations · 56 across the 22 of their papers we have counts for

collaborators
Showing 2020Show all

6 papers · 1 filter

cs.AI2020

Robust Finite-State Controllers for Uncertain POMDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges +3

Uncertain partially observable Markov decision processes (uPOMDPs) allow the probabilistic transition and observation functions of standard POMDPs to belong to a so-called uncertai…

cs.MA2020

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

Murat Cubuktepe, Zhe Xu, Ufuk Topcu

We study the distributed synthesis of policies for multi-agent systems to perform \emph{spatial-temporal} tasks. We formalize the synthesis problem as a \emph{factored} Markov deci…

eess.SY2020

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…

cs.MA2020★ 6 cited

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…

math.OC2020

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…

eess.SY2020★ 2 cited

Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching

Bo Wu, Murat Cubuktepe, Franck Djeumou +2

We study the synthesis of mode switching protocols for a class of discrete-time switched linear systems in which the mode jumps are governed by Markov decision processes (MDPs). We…