研究对六个VLM和五个VLA进行扰动区域级形式验证，而非仅随机抽样测试。
推荐理由：随机扰动测试只能发现已采样失败，不能证明邻域内安全；区域级验证覆盖多个主流VLM与VLA家族，为机器人视觉决策提供更强的最坏情况证据。
阅读原文