Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks. - Hao Ren 004; Sai Krishnan Chandrasekar; Anitha Murugesan (CoRR, 2019)