TY  - RPRT
TI  - No Free Checker: A Survey of Verifiers for Robot Policies
AU  - Yang Wan
AU  - Xihang Yue
AU  - Zhirui Liu
AU  - Ziyuan Chu
AU  - Shuxun Wang
AU  - Yuhan Chen
AU  - Xiaonan Jiang
AU  - Xukun Zhu
AU  - Yubo Dong
AU  - Linchao Zhu
PY  - 2026
UR  - https://arxiv.org/abs/2609.09250
ID  - 2609.09250
ER  -