2 papers
cs.RO2026
SafeManip: A Property-Driven Benchmark for Temporal Safety Evaluation in Robotic Manipulation
Chengyue Huang, Khang Vo Huynh, Sebastian Elbaum +3
Robotic manipulation is typically evaluated by task success, but reaching the correct final state does not guarantee safe execution. A robot may succeed despite contamination, prem…
cs.RO2025
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). While robust IMDP controller synthesis typically yields a…