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