TY - RPRT TI - Probabilistic Reachable-Action Verification of Visuomotor Policies via Set-Based Training AU - Yanliang Huang AU - Zhuocheng Zhang AU - Peng Xie AU - Zhen Zhang AU - Wenyuan Wu AU - Majid Khadiv AU - Zhuoqi Zeng AU - Amr Alanwar PY - 2026 UR - https://arxiv.org/abs/2608.02545 ID - 2608.02545 ER -