@misc{indiciae21a7588e1570,
  title = {No Free Checker: A Survey of Verifiers for Robot Policies},
  author = {Yang Wan and Xihang Yue and Zhirui Liu and Ziyuan Chu and Shuxun Wang and Yuhan Chen and Xiaonan Jiang and Xukun Zhu and Yubo Dong and Linchao Zhu},
  year = {2026},
  url = {https://arxiv.org/abs/2609.09250},
  note = {Source identifier: 2609.09250}
}