@misc{indiciaec4a0fc45e9f3,
  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},
  url = {https://arxiv.org/abs/1903.10033},
  note = {Source identifier: 1903.10033}
}