30 citations · 69 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Online Synthesis for Runtime Enforcement of Safety in Multi-Agent Systems
Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu
A shield is attached to a system to guarantee safety by correcting the system's behavior at runtime. Existing methods that employ design-time synthesis of shields do not scale to m…
Reward-Based Deception with Cognitive Bias
Bo Wu, Murat Cubuktepe, Suda Bharadwaj +1
Deception plays a key role in adversarial or strategic interactions for the purpose of self-defence and survival. This paper introduces a general framework and solution to address…
Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
We study the problem of synthesizing strategies for a mobile sensor network to conduct surveillance in partnership with static alarm triggers. We formulate the problem as a multi-a…