@article{aformalizationofrobustnessfordeepneural,
  title = {A Formalization of Robustness for Deep Neural Networks},
  author = {Tommaso Dreossi and Shromona Ghosh and Alberto Sangiovanni-Vincentelli and Sanjit A. Seshia},
  year = {2019},
  eprint = {1903.10033},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1903.10033v1},
}