基于 CNN 的感知系统的形式化验证
机器学习
2018-11-29 v1 计算机视觉与模式识别
机器学习
摘要
我们解决验证由卷积神经网络实现的基于神经的感知系统的问题。我们基于仿射与光度变换定义了一种局部鲁棒性概念。我们表明该概念无法被先前采用的鲁棒性概念所涵盖。所提方法基于前馈神经网络的可达性分析，并依赖于对所讨论的 CNN 与变换的 MILP 编码。我们给出了实现并讨论了在从 MNIST 数据集训练的 CNN 上获得的实验结果。
引用
@article{arxiv.1811.11373,
title = {Formal Verification of CNN-based Perception Systems},
author = {Panagiotis Kouvaros and Alessio Lomuscio},
journal= {arXiv preprint arXiv:1811.11373},
year = {2018}
}