TY  - RPRT
TI  - Quantitative Verification of Neural Networks And its Security Applications
AU  - Teodora Baluta
AU  - Shiqi Shen
AU  - Shweta Shinde
AU  - Kuldeep S. Meel
AU  - Prateek Saxena
PY  - 2019
UR  - https://arxiv.org/abs/1906.10395
ID  - 1906.10395
ER  -