摘要: 基于符号区间的神经网络形式化安全分析 ####摘要 随着深度神经网络(DNNs)在现实安全关键领域(包括自主车辆和避碰系统)的日益广泛应用,对DNNs的安全特性,特别是在不同的攻击能力下,进行形式化的检测变得越来越重要。大多数现有的dnn安全测试技术都试图找到对抗性的例子,而没有提供任何关于不存在这 阅读全文
posted @ 2020-07-05 17:48 汪振_20199322 阅读(340) 评论(0) 推荐(0) 编辑