TY  - RPRT
TI  - Output Range Analysis for Deep Neural Networks
AU  - Souradeep Dutta
AU  - Susmit Jha
AU  - Sriram Sanakaranarayanan
AU  - Ashish Tiwari
PY  - 2017
UR  - https://arxiv.org/abs/1709.09130
ID  - 1709.09130
ER  -