Towards Proving the Adversarial Robustness of Deep Neural Networks - Guy Katz; Clark Barrett; David L. Dill; Kyle Julian; Mykel J. Kochenderfer (2017)