Safety verification of deep neural networks

Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it. With potential applications including percepti...

Full description

Bibliographic Details
Main Authors: Huang, X, Kwiatkowska, M, Wang, S, Wu, M
Format: Conference item
Published: Springer 2017