@misc{indiciaec82f9f5ff0b2,
  title = {Toward Scalable Verification for Safety-Critical Deep Networks},
  author = {Lindsey Kuper and Guy Katz and Justin Gottschlich and Kyle Julian and Clark Barrett and Mykel Kochenderfer},
  year = {2018},
  url = {https://arxiv.org/abs/1801.05950},
  note = {Source identifier: 1801.05950}
}