497 citations · 2.1k across the 297 of their papers we have counts for
7 papers · 2 filters
Minimizing the Information Leakage Regarding High-Level Task Specifications
Michael Hibbard, Yagis Savas, Zhe Xu +1
We consider a scenario in which an autonomous agent carries out a mission in a stochastic environment while passively observed by an adversary. For the agent, minimizing the inform…
Entropy-Regularized Stochastic Games
Yagiz Savas, Mohamadreza Ahmadi, Takashi Tanaka +1
In two-player zero-sum stochastic games, where two competing players make decisions under uncertainty, a pair of optimal strategies is traditionally described by Nash equilibrium a…
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…
Incentive Design for Temporal Logic Objectives
Yagiz Savas, Vijay Gupta, Melkior Ornik +2
We study the problem of designing an optimal sequence of incentives that a principal should offer to an agent so that the agent's optimal behavior under the incentives realizes the…
Training Classifiers For Feedback Control
Hasan A. Poonawala, Niklas Lauffer, Ufuk Topcu
One approach for feedback control using high dimensional and rich sensor measurements is to classify the measurement into one out of a finite set of situations, each situation corr…
Unpredictable Planning Under Partial Observability
Michael Hibbard, Yagiz Savas, Bo Wu +2
We study the problem of synthesizing a controller that maximizes the entropy of a partially observable Markov decision process (POMDP) subject to a constraint on the expected total…