@Article{Katz2021reluplex,
  author  = {Guy Katz and Clark Barrett and David L. Dill and Kyle D. Julian and Mykel J. Kochenderfer},
  journal = {Formal Methods in System Design},
  title   = {Reluplex: a calculus for reasoning about deep neural networks},
  year    = {2021},
  doi     = {10.1007/s10703-021-00363-7},
}

{"_id":"CvotX7L7vDv2rugco","bibbaseid":"katz-barrett-dill-julian-kochenderfer-reluplexacalculusforreasoningaboutdeepneuralnetworks-2021","author_short":["Katz, G.","Barrett, C.","Dill, D. L.","Julian, K. D.","Kochenderfer, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Guy"],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Clark"],"propositions":[],"lastnames":["Barrett"],"suffixes":[]},{"firstnames":["David","L."],"propositions":[],"lastnames":["Dill"],"suffixes":[]},{"firstnames":["Kyle","D."],"propositions":[],"lastnames":["Julian"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"journal":"Formal Methods in System Design","title":"Reluplex: a calculus for reasoning about deep neural networks","year":"2021","doi":"10.1007/s10703-021-00363-7","bibtex":"@Article{Katz2021reluplex,\r\n author = {Guy Katz and Clark Barrett and David L. Dill and Kyle D. Julian and Mykel J. Kochenderfer},\r\n journal = {Formal Methods in System Design},\r\n title = {Reluplex: a calculus for reasoning about deep neural networks},\r\n year = {2021},\r\n doi = {10.1007/s10703-021-00363-7},\r\n}\r\n\r\n","author_short":["Katz, G.","Barrett, C.","Dill, D. L.","Julian, K. D.","Kochenderfer, M. J."],"key":"Katz2021reluplex","id":"Katz2021reluplex","bibbaseid":"katz-barrett-dill-julian-kochenderfer-reluplexacalculusforreasoningaboutdeepneuralnetworks-2021","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://mykel.kochenderfer.com/sisl.bib","dataSources":["TbX42SDTQr5unfHC4","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["reluplex","calculus","reasoning","deep","neural","networks","katz","barrett","dill","julian","kochenderfer"],"title":"Reluplex: a calculus for reasoning about deep neural networks","year":2021}