“Algorithms for Verifying Deep Neural Networks” by Changliu Liu, Tomer Arnon, Christopher Lazarus, Clark Barrett, and Mykel J. Kochenderfer, 2020.

BibTeX entry:

@techreport{LAL+20,
   author = {Changliu Liu and Tomer Arnon and Christopher Lazarus and
	Clark Barrett and Mykel J. Kochenderfer},
   title = {Algorithms for Verifying Deep Neural Networks},
   year = {2020},
   url = {https://arxiv.org/abs/1903.06758}
}

(This webpage was created with bibtex2web.)