TY  - RPRT
TI  - Scalable Quantitative Verification For Deep Neural Networks
AU  - Teodora Baluta
AU  - Zheng Leong Chua
AU  - Kuldeep S. Meel
AU  - Prateek Saxena
PY  - 2021
UR  - https://arxiv.org/abs/2002.06864
ID  - 2002.06864
ER  -