@entry{sin-geh-mir-18-aa,
  author = {G Singh and T Gehr and M Mirman...},
  title = {Fast and effective robustness certification},
  journal = {Advances in neural ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://proceedings.neurips.cc/paper/8278-fast-and-effective-robustness-certification}}},
  quotes = {... Since affine arithmetic is fast and exact for affine transformations, it is an attractive candidate for the verification of neural networks [10]. However, the Zonotope abstraction is inherently ...}
}