30 citations · 69 across the 12 of their papers we have counts for
13 papers
Scheduling for Urban Air Mobility using Safe Learning
Surya Murthy, Natasha A. Neogi, Suda Bharadwaj
This work considers the scheduling problem for Urban Air Mobility (UAM) vehicles travelling between origin-destination pairs with both hard and soft trip deadlines. Each route is d…
Safe Multi-Agent Reinforcement Learning via Shielding
Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato +3
Multi-agent reinforcement learning (MARL) has been increasingly used in a wide range of safety-critical applications, which require guaranteed safety (e.g., no unsafe states are ev…
Constrained Active Classification Using Partially Observable Markov Decision Processes
Bo Wu, Niklas Lauffer, Mohamadreza Ahmadi +3
In this work, we study the problem of actively classifying the attributes of dynamical systems characterized as a finite set of Markov decision process (MDP) models. We are interes…
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
Bo Wu, Steven Carr, Suda Bharadwaj +2
We study the problem of distributed hypothesis testing over a network of mobile agents with limited communication and sensing ranges to infer the true hypothesis collaboratively. I…
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…
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks
Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu +3
In continuing tasks, average-reward reinforcement learning may be a more appropriate problem formulation than the more common discounted reward formulation. As usual, learning an o…
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…
Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes
Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj +1
Active classification, i.e., the sequential decision-making process aimed at data acquisition for classification purposes, arises naturally in many applications, including medical…
Transfer Entropy in MDPs with Temporal Logic Specifications
Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka +1
Emerging applications in autonomy require control techniques that take into account uncertain environments, communication and sensing constraints, while satisfying highlevel missio…
Synthesis of surveillance strategies via belief abstraction
Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
We study the problem of synthesizing a controller for a robot with a surveillance objective, that is, the robot is required to maintain knowledge of the location of a moving, possi…