497 citations · 2.1k across the 297 of their papers we have counts for
8 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…
Affine Multiplexing Networks: System Analysis, Learning, and Computation
Ivan Papusha, Ufuk Topcu, Steven Carr +1
We introduce a novel architecture and computational framework for formal, automated analysis of systems with a broad set of nonlinearities in the feedback loop, such as neural netw…
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…