2 papers
cs.RO2026
SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation
Chengyue Huang, Khang Vo Huynh, Sebastian Elbaum +2
Robotic manipulation is typically evaluated by task success, but successful completion does not guarantee safe execution. Many safety failures are temporal: a robot may touch a cle…
cs.RO2026
Optimization-Based Robust Permissive Synthesis for Interval MDPs
Khang Vo Huynh, David Parker, Lu Feng
We present an optimization-based framework for robust permissive synthesis for Interval Markov Decision Processes (IMDPs), motivated by robotic decision-making under transition unc…