@Article{Strong2023,
  author  = {Christopher A. Strong and Haoze Wu and Aleksandar Zeljic and Kyle D. Julian and Guy Katz and Clark Barrett and Mykel J. Kochenderfer},
  journal = {Machine Learning},
  title   = {Global optimization of objective functions represented by {ReLU} networks},
  year    = {2023},
  pages   = {3685--3712},
  volume  = {112},
  doi     = {10.1007/s10994-021-06050-2},
  url     = {https://arxiv.org/abs/2010.03258},
}

{"_id":"qvJ72gHGDaFeEFXiW","bibbaseid":"strong-wu-zeljic-julian-katz-barrett-kochenderfer-globaloptimizationofobjectivefunctionsrepresentedbyrelunetworks-2023","author_short":["Strong, C. A.","Wu, H.","Zeljic, A.","Julian, K. D.","Katz, G.","Barrett, C.","Kochenderfer, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Christopher","A."],"propositions":[],"lastnames":["Strong"],"suffixes":[]},{"firstnames":["Haoze"],"propositions":[],"lastnames":["Wu"],"suffixes":[]},{"firstnames":["Aleksandar"],"propositions":[],"lastnames":["Zeljic"],"suffixes":[]},{"firstnames":["Kyle","D."],"propositions":[],"lastnames":["Julian"],"suffixes":[]},{"firstnames":["Guy"],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Clark"],"propositions":[],"lastnames":["Barrett"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"journal":"Machine Learning","title":"Global optimization of objective functions represented by ReLU networks","year":"2023","pages":"3685–3712","volume":"112","doi":"10.1007/s10994-021-06050-2","url":"https://arxiv.org/abs/2010.03258","bibtex":"@Article{Strong2023,\r\n author = {Christopher A. Strong and Haoze Wu and Aleksandar Zeljic and Kyle D. Julian and Guy Katz and Clark Barrett and Mykel J. Kochenderfer},\r\n journal = {Machine Learning},\r\n title = {Global optimization of objective functions represented by {ReLU} networks},\r\n year = {2023},\r\n pages = {3685--3712},\r\n volume = {112},\r\n doi = {10.1007/s10994-021-06050-2},\r\n url = {https://arxiv.org/abs/2010.03258},\r\n}\r\n\r\n","author_short":["Strong, C. A.","Wu, H.","Zeljic, A.","Julian, K. D.","Katz, G.","Barrett, C.","Kochenderfer, M. J."],"key":"Strong2023","id":"Strong2023","bibbaseid":"strong-wu-zeljic-julian-katz-barrett-kochenderfer-globaloptimizationofobjectivefunctionsrepresentedbyrelunetworks-2023","role":"author","urls":{"Paper":"https://arxiv.org/abs/2010.03258"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://mykel.kochenderfer.com/sisl.bib","dataSources":["L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["global","optimization","objective","functions","represented","relu","networks","strong","wu","zeljic","julian","katz","barrett","kochenderfer"],"title":"Global optimization of objective functions represented by ReLU networks","year":2023,"downloads":1}