arXiv ID:
2604.02198
arXiv 提交日期: 2026-04-02
从高维空间到可验证的ODD覆盖:面向安全关键AI系统的研究 / From High-Dimensional Spaces to Verifiable ODD Coverage for Safety-Critical AI-based Systems
1️⃣ 一句话总结
本文提出了一种结合参数离散化、约束过滤和关键维度缩减的系统工程方法,为航空等安全关键领域的人工智能系统提供了一种可验证其完整运行设计域覆盖的解决方案,以满足欧洲航空安全局的严格认证要求。