30 citations · 69 across the 12 of their papers we have counts for
5 papers · 1 filter
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…
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…
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…