“Toward Scalable Verification for Safety-Critical Deep Networks” by Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark Barrett, and Mykel Kochenderfer, 2018.

BibTeX entry:

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

(This webpage was created with bibtex2web.)