实体 veriFIRE

veriFIRE

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_70493 · Jun 4 · 04:00

AI验证方法在野火检测系统上进行测试

研究人员开发了一种新方法来验证用于野火检测系统的深度神经网络的一致性属性。该方法将现实世界的需求转化为现有神经网络验证器的查询，从而能够评估关键的运行场景。研究表明，虽然某些属性（如单调性）可以快速验证，但其他属性（如对传感器模糊的响应有界）对当前的验证工具来说存在重大的可扩展性挑战。