37 citations · 151 across the 85 of their papers we have counts for
6 papers · 1 filter
Robust Myopic Control for Systems with Imperfect Observations
Dantong Ge, Melkior Ornik, Ufuk Topcu
Control of systems operating in unexplored environments is challenging due to lack of complete model knowledge. Additionally, under measurement noises, data collected from onboard…
Information-Guided Temporal Logic Inference with Prior Knowledge
Zhe Xu, Melkior Ornik, A. Agung Julius +1
This paper investigates the problem of inferring knowledge from data so that the inferred knowledge is interpretable and informative to humans who have prior knowledge. Given a dat…
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…