实体
ACAS Xu
ACAS Xu
PulseAugur coverage of ACAS Xu — every cluster mentioning ACAS Xu across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 2
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
新的 SaBRe 框架增强了 AI 安全的神经网络验证
研究人员开发了一个名为 SaBRe 的新框架，该框架使用分支定界方法来验证神经网络是否符合关系规范。这种方法对于确保网络物理系统中 AI 组件的安全性至关重要。SaBRe 通过分割关系神经元并采用新颖的选择策略来有效改进问题验证，从而优于现有技术。在 ACAS Xu 和 MNIST 等数据集上的评估表明，与基线方法相比，SaBRe 在解决实例和验证效率方面表现更优。
-
研究人员开发出用于神经网络概率验证的新方法
研究人员开发了一个用于概率验证神经网络的新框架，解决了当输入受到概率扰动时确保安全性的挑战。该方法利用具有回归树的状态空间细分策略来生成概率包络，并采用一种边界感知采样技术。该方法旨在提供安全概率的保证范围，在ACAS Xu和火箭着陆器控制器等基准测试中，与现有方法相比，显示出更高的准确性和效率。