研究论文
FEARL：可验证的机器人安全模块
FEARL将大型感知推理控制器与接收有限传感和上下文输入的小型安全模块分离。研究包含三个仿真领域及一次实体迁移试验。形式验证针对所定义的小模块，接口假设及整机危险仍需评估。
核查日期 2026-11-05 · 已核查来源与书目信息
书目信息与编辑概述已对照原始来源核查。访问条件与版本见来源说明。
- 原文标题
- Verifiable Foundation Models for Robot Safety
- 发布机构
- arXiv
- 作者
- Corsi, Davide, Kim, Kyungmin, Fox, Roy
- DOI
- 10.48550/arxiv.2606.23754
- 首次存档日期
- 2026-06-22
- 原文语言
- en
- 原始来源国家
- US
- 版本
- v1
- 访问条件
- 开放存档书目信息及稿件
- 出版状态
- 预印本
相关资料与工程解读
资料概述
FEARL将大型感知推理控制器与接收有限传感和上下文输入的小型安全模块分离。研究包含三个仿真领域及一次实体迁移试验。形式验证针对所定义的小模块，接口假设及整机危险仍需评估。
使用与审查
依据原始存档摘要和书目信息独立撰写。专业技术及母语审校仍待完成。所述方法不能证明部署后的安全功能或已达到的PL。
来源与版本
Verifiable Foundation Models for Robot Safety ↗
arXiv · v1
arXiv abstract, authors, submission history and DOI links; first posting 2026-06-22, abstract reviewed in v1. Publisher dates are separate.