@InProceedings{Kuper2018,
  author    = {Lindsey Kuper and Guy Katz and Justin Gottschlich and Kyle D. Julian and Clark Barrett and Mykel J. Kochenderfer},
  title     = {Toward scalable verification for safety-critical deep networks},
  booktitle = {SysML},
  year      = {2018},
  url       = {https://arxiv.org/abs/1801.05950},
}

{"_id":"Cc4K8ZXSmKyZ6CrRS","bibbaseid":"kuper-katz-gottschlich-julian-barrett-kochenderfer-towardscalableverificationforsafetycriticaldeepnetworks-2018","downloads":0,"creationDate":"2018-07-01T22:09:27.572Z","title":"Toward scalable verification for safety-critical deep networks","author_short":["Kuper, L.","Katz, G.","Gottschlich, J.","Julian, K. D.","Barrett, C.","Kochenderfer, M. J."],"year":2018,"bibtype":"inproceedings","biburl":"http://aisafety.stanford.edu/bib/all-pubs.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Lindsey"],"propositions":[],"lastnames":["Kuper"],"suffixes":[]},{"firstnames":["Guy"],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Justin"],"propositions":[],"lastnames":["Gottschlich"],"suffixes":[]},{"firstnames":["Kyle","D."],"propositions":[],"lastnames":["Julian"],"suffixes":[]},{"firstnames":["Clark"],"propositions":[],"lastnames":["Barrett"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"title":"Toward scalable verification for safety-critical deep networks","booktitle":"SysML","year":"2018","url":"https://arxiv.org/abs/1801.05950","bibtex":"@InProceedings{Kuper2018,\n author = {Lindsey Kuper and Guy Katz and Justin Gottschlich and Kyle D. Julian and Clark Barrett and Mykel J. Kochenderfer},\n title = {Toward scalable verification for safety-critical deep networks},\n booktitle = {SysML},\n year = {2018},\n url = {https://arxiv.org/abs/1801.05950},\n}\n\n","author_short":["Kuper, L.","Katz, G.","Gottschlich, J.","Julian, K. D.","Barrett, C.","Kochenderfer, M. J."],"key":"Kuper2018","id":"Kuper2018","bibbaseid":"kuper-katz-gottschlich-julian-barrett-kochenderfer-towardscalableverificationforsafetycriticaldeepnetworks-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1801.05950"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["toward","scalable","verification","safety","critical","deep","networks","kuper","katz","gottschlich","julian","barrett","kochenderfer"],"keywords":[],"authorIDs":[],"dataSources":["Q5m4eREZKA5kKSYST","YCBcQPneB9oxahSnp","TbX42SDTQr5unfHC4"]}