37 citations · 151 across the 85 of their papers we have counts for
4 papers · 2 filters
Least Inferable Policies for Markov Decision Processes
Mustafa O. Karabag, Melkior Ornik, Ufuk Topcu
In a variety of applications, an agent's success depends on the knowledge that an adversarial observer has or can gather about the agent's decisions. It is therefore desirable for…
Graph-Based Controller Synthesis for Safety-Constrained, Resilient Systems
Matija Bucic, Melkior Ornik, Ufuk Topcu
Resilience to damage, component degradation, and adversarial action is a critical consideration in design of autonomous systems. In addition to designing strategies that seek to pr…
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…
Deception in Optimal Control
Melkior Ornik, Ufuk Topcu
In this paper, we consider an adversarial scenario where one agent seeks to achieve an objective and its adversary seeks to learn the agent's intentions and prevent the agent from…