@misc{indiciaed6f3d7acac26,
  title = {An approach to reachability analysis for feed-forward ReLU neural networks},
  author = {Alessio Lomuscio and Lalit Maganti},
  year = {2017},
  url = {https://arxiv.org/abs/1706.07351},
  note = {Source identifier: 1706.07351}
}