TY  - RPRT
TI  - Towards Proving the Adversarial Robustness of Deep Neural Networks
AU  - Guy Katz
AU  - Clark Barrett
AU  - David L. Dill
AU  - Kyle Julian
AU  - Mykel J. Kochenderfer
PY  - 2017
DO  - 10.4204/eptcs.257.3
UR  - https://arxiv.org/abs/1709.02802
ID  - 1709.02802
ER  -