On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks
安全网的适用性研究:一种用于神经网络认证的设计即安全方案
专题命中 其他安全 :safety(title,abstract);分类 cs.AI
AI总结 该研究针对航空安全关键型AI系统的认证需求,系统分析安全网中神经网络与查找表的规模权衡,确定最优架构,实现适配航空电子硬件的100%正确输出,提供可复现的开源安全网实现。
Journal ref 35th Congress of the International Councilof the Aeronautical Sciences (ICAS) 2026