19 citations · 72 across the 29 of their papers we have counts for
10 papers · 1 filter
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…
The Partially Observable Games We Play for Cyber Deception
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen +3
Progressively intricate cyber infiltration mechanisms have made conventional means of defense, such as firewalls and malware detectors, incompetent. These sophisticated infiltratio…
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…
Verification of Uncertain POMDPs Using Barrier Certificates
Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen +1
We consider a class of partially observable Markov decision processes (POMDPs) with uncertain transition and/or observation probabilities. The uncertainty takes the form of probabi…
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…