83 citations · 102 across the 9 of their papers we have counts for
Showing cs.ROShow all
3 papers · 1 filter
cs.RO2024
Safe POMDP Online Planning among Dynamic Agents via Adaptive Conformal Prediction
Shili Sheng, Pian Yu, David Parker +2
Online planning for partially observable Markov decision processes (POMDPs) provides efficient techniques for robot decision-making under uncertainty. However, existing methods fal…
cs.RO2023
Trust-Aware Motion Planning for Human-Robot Collaboration under Distribution Temporal Logic Specifications
Pian Yu, Shuyang Dong, Shili Sheng +2
Recent work has considered trust-aware decision making for human-robot collaboration (HRC) with a focus on model learning. In this paper, we are interested in enabling the HRC syst…
cs.RO2020
Probabilistic Conditional System Invariant Generation with Bayesian Inference
Meriel Stein, Sebastian Elbaum, Lu Feng +1
Invariants are a set of properties over program attributes that are expected to be true during the execution of a program. Since developing those invariants manually can be costly…