Safety Verification of Deep Neural Networks
Analysis of classifiers’ robustness to adversarial perturbations