@inproceedings{DBLP:conf/ijcai/RuanHK18,
  title = "Reachability Analysis of Deep Neural Networks with Provable Guarantees",
  author = "Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska",
  year = "2018",
  booktitle = "Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden",
  editor = "J{\'{e}}r{\^{o}}me Lang",
  isbn = "978-0-9992411-2-7",
  pages = "2651--2659",
  publisher = "ijcai.org",
  url = "http://www.ijcai.org/proceedings/2018/",
  doi = "10.24963/ijcai.2018/368",
}