TY  - RPRT
TI  - Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks
AU  - Hao Ren
AU  - Sai Krishnan Chandrasekar
AU  - Anitha Murugesan
PY  - 2019
UR  - https://arxiv.org/abs/1909.09142
ID  - 1909.09142
ER  -