TY  - RPRT
TI  - DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks
AU  - Divya Gopinath
AU  - Guy Katz
AU  - Corina S. Pasareanu
AU  - Clark Barrett
PY  - 2020
UR  - https://arxiv.org/abs/1710.00486
ID  - 1710.00486
ER  -