9 citations · 32 across the 13 of their papers we have counts for
4 papers · 2 filters
Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications
Zhiyu Liu, Bo Wu, Jin Dai +1
Control and communication are often tightly coupled in motion planning of networked mobile robots, due to the fact that robotic motions will affect the overall communication qualit…
Barrier Certificates for Assured Machine Teaching
Mohamadreza Ahmadi, Bo Wu, Yuxin Chen +2
Machine teaching can be viewed as optimal control for learning. Given a learner's model, machine teaching aims to determine the optimal training data to steer the learner towards 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…
Privacy Verification in POMDPs via Barrier Certificates
Mohamadreza Ahmadi, Bo Wu, Hai Lin +1
Privacy is an increasing concern in cyber-physical systems that operates over a shared network. In this paper, we propose a method for privacy verification of cyber- physical syste…