@article{anapproachtoreachabilityanalysisforfeed,
  title = {An approach to reachability analysis for feed-forward ReLU neural networks},
  author = {Alessio Lomuscio and Lalit Maganti},
  year = {2017},
  eprint = {1706.07351},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1706.07351v1},
}