6 citations · 9 across the 7 of their papers we have counts for
6 papers · 1 filter
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…
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…
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis
Bo Wu, Murat Cubuktepe, Ufuk Topcu
Switched linear systems are time-varying nonlinear systems whose dynamics switch between different modes, where each mode corresponds to different linear dynamics. They arise natur…
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints
Yagiz Savas, Melkior Ornik, Murat Cubuktepe +2
We study the problem of synthesizing a policy that maximizes the entropy of a Markov decision process (MDP) subject to a temporal logic constraint. Such a policy minimizes the pred…
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets
Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu +1
We consider the stability and the input-output analysis problems of a class of large-scale hybrid systems composed of continuous dynamics coupled with discrete dynamics defined ove…
Distributed Synthesis Using Accelerated ADMM
Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu +1
We propose a convex distributed optimization algorithm for synthesizing robust controllers for large-scale continuous time systems subject to exogenous disturbances. Given a large…