@misc{indiciaee15df2c360a5,
  title = {Scalable Quantitative Verification For Deep Neural Networks},
  author = {Teodora Baluta and Zheng Leong Chua and Kuldeep S. Meel and Prateek Saxena},
  year = {2021},
  url = {https://arxiv.org/abs/2002.06864},
  note = {Source identifier: 2002.06864}
}