497 citations · 2.1k across the 297 of their papers we have counts for
24 papers · 1 filter
Robust Myopic Control for Systems with Imperfect Observations
Dantong Ge, Melkior Ornik, Ufuk Topcu
Control of systems operating in unexplored environments is challenging due to lack of complete model knowledge. Additionally, under measurement noises, data collected from onboard…
Information-Guided Temporal Logic Inference with Prior Knowledge
Zhe Xu, Melkior Ornik, A. Agung Julius +1
This paper investigates the problem of inferring knowledge from data so that the inferred knowledge is interpretable and informative to humans who have prior knowledge. Given a dat…
Reactive Task and Motion Planning for Robust Whole-Body Dynamic Locomotion in Constrained Environments
Ye Zhao, Yinan Li, Luis Sentis +2
Contact-based decision and planning methods are becoming increasingly important to endow higher levels of autonomy for legged robots. Formal synthesis methods derived from symbolic…
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…