497 citations · 2.1k across the 297 of their papers we have counts for
3 papers · 2 filters
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization
Suda Bharadwaj, Louis Ly, Bo Wu +2
This paper studies a two-player game with a quantitative surveillance requirement on an adversarial target moving in a discrete state space and a secondary objective to maximize sh…
Synthesis of Provably Correct Autonomy Protocols for Shared Control
Murat Cubuktepe, Nils Jansen, Mohammed Alsiekh +1
We synthesize shared control protocols subject to probabilistic temporal logic specifications. More specifically, we develop a framework in which a human and an autonomy protocol c…
Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions
Rachel Schlossman, Minkyu Kim, Ufuk Topcu +1
With the primary objective of human-robot interaction being to support humans' goals, there exists a need to formally synthesize robot controllers that can provide the desired serv…