Safety Verification of Deep Neural Networks
Kwiatkowska
Marta
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