PulseAugur
中
实时 11:00:50
实体 bound propagation

bound propagation

PulseAugur coverage of bound propagation — every cluster mentioning bound propagation across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_247809 ·

    形式化验证方法证明AI转向故障无需模拟

    研究人员开发了一种名为边界传播的形式化验证方法来测试基于AI的自动驾驶系统。该技术分析训练好的神经网络权重，以预测潜在的转向故障，而无需进行广泛的实际驾驶或模拟驾驶。将边界传播应用于CARLA模拟器中的端到端转向网络，发现了可能导致策略失败的条件，这表明它可以补充传统的基于模拟的测试，用于自动驾驶验证。