TY - RPRT TI - CheckVLA: Execution-Time Verification with Action-Conditioned World Model for Long-Horizon Mobile Manipulation AU - Yushan Liu AU - Peibo Sun AU - Xintao Chao AU - Zhenyang Yang AU - Yifan Xie AU - Lingfeng Zhang AU - Shoujie Li AU - Chenyu Tang AU - Fang Chen AU - Xiao-Ping Zhang AU - Wenbo Ding PY - 2026 UR - https://arxiv.org/abs/2607.26789 ID - 2607.26789 ER -