已收录文章摘要，完整内容可前往原文阅读。
这篇综述梳理约150篇机器人策略验证器研究，以可用性和可信性为双轴，比较人类、规则与形式化、学习型与预训练、模型内生四类验证器，并给出验证器自身评估的九项指标。