28 citations · 56 across the 22 of their papers we have counts for
7 papers · 1 filter
The Partially Observable Games We Play for Cyber Deception
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen +3
Progressively intricate cyber infiltration mechanisms have made conventional means of defense, such as firewalls and malware detectors, incompetent. These sophisticated infiltratio…
Verification of Uncertain POMDPs Using Barrier Certificates
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen +1
We consider a class of partially observable Markov decision processes (POMDPs) with uncertain transition and/or observation probabilities. The uncertainty takes the form of probabi…
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…
Synthesis in pMDPs: A Tale of 1001 Parameters
Murat Cubuktepe, Nils Jansen, Sebastian Junges +2
This paper considers parametric Markov decision processes (pMDPs) whose transitions are equipped with affine functions over a finite set of parameters. The synthesis problem is to…
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…
Verification of Markov Decision Processes with Risk-Sensitive Measures
Murat Cubuktepe, Ufuk Topcu
We develop a method for computing policies in Markov decision processes with risk-sensitive measures subject to temporal logic constraints. Specifically, we use a particular risk-s…
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…