BriefGPT.xyz
Ask
alpha
关键词
backreachability
搜索结果 - 1
ACAS Xu 早期原型的神经网络压缩存在安全隐患:通过量化状态反向可达性进行闭环验证
本文提出了一种使用状态量化和反向可达性验证无人机收发器 ACAS Xu 系统闭环逼近的技术,以验证系统的安全性,并发现了该系统在真实情况下存在碰撞的情况。
PDF
2 years ago
Prev
Next