TY  - RPRT
TI  - Safety Verification of Deep Neural Networks
AU  - Xiaowei Huang
AU  - Marta Kwiatkowska
AU  - Sen Wang
AU  - Min Wu
PY  - 2017
UR  - https://arxiv.org/abs/1610.06940
ID  - 1610.06940
ER  -