@misc{indiciae4f99e8866a81,
  title = {Using Quantifier Elimination to Enhance the Safety Assurance of Deep Neural Networks},
  author = {Hao Ren and Sai Krishnan Chandrasekar and Anitha Murugesan},
  year = {2019},
  url = {https://arxiv.org/abs/1909.09142},
  note = {Source identifier: 1909.09142}
}