@misc{W2594877703,
  author = {Guy Katz and Clark Barrett and David L. Dill and Kyle D. Julian and Mykel J. Kochenderfer},
  title = {Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks},
  year = {2017},
  howpublished = {Lecture notes in computer science},
  doi = {https://doi.org/10.1007/978-3-319-63387-9\_5}
}