让具身AI可靠：从测试到形式化验证的社区议程
论文信息
英文标题：Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
作者：Xi Zheng, Dulanga Weerakoon, Yintong Huo, Teresa Yeo et al.（2026）
来源：arXiv:2606.03593v1 | PDF全文
英文标题：Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
作者：Xi Zheng, Dulanga Weerakoon, Yintong Huo, Teresa Yeo et al.（2026）
来源：arXiv:2606.03593v1 | PDF全文
中文摘要
具身AI日益部署于开放世界，但可靠性仍是根本挑战。基于AAAI'26 Bridge讨论，论证可靠性本质是生命周期保障问题（源于不确定性/人机交互/耦合组件涌现行为）。识别三个互补方向：(1)基于可信场景的测试+有意义覆盖度量；(2)组合验证（结构化符号表征）；(3)运行时保障（适应不确定性/分布偏移）。倡导集成保障工作流连接测试/验证/运行时适应。
核心贡献与解读
社区共识报告，把具身AI可靠性系统化为「测试+验证+运行时保障」集成，工程落地参考性强。
关键词
具身AI可靠性 / 形式化验证 / 测试
