30 citations · 34 across the 6 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2020
Near-Optimal Reactive Synthesis Incorporating Runtime Information
Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova +1
We consider the problem of optimal reactive synthesis - compute a strategy that satisfies a mission specification in a dynamic environment, and optimizes a performance metric. We i…
cs.RO2019
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…