@Article{Katz2023mlj,
  author  = {Sydney M. Katz and Kyle D. Julian and Christopher A. Strong and Mykel J. Kochenderfer},
  journal = {Machine Learning},
  title   = {Generating probabilistic safety guarantees for neural network controllers},
  year    = {2023},
  pages   = {2903--2931},
  volume  = {112},
  doi     = {10.1007/s10994-021-06065-9},
  url     = {https://arxiv.org/abs/2103.01203},
}

{"_id":"RqzRPzrwaaFBi8rRp","bibbaseid":"katz-julian-strong-kochenderfer-generatingprobabilisticsafetyguaranteesforneuralnetworkcontrollers-2023","author_short":["Katz, S. M.","Julian, K. D.","Strong, C. A.","Kochenderfer, M. J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Sydney","M."],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Kyle","D."],"propositions":[],"lastnames":["Julian"],"suffixes":[]},{"firstnames":["Christopher","A."],"propositions":[],"lastnames":["Strong"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"journal":"Machine Learning","title":"Generating probabilistic safety guarantees for neural network controllers","year":"2023","pages":"2903–2931","volume":"112","doi":"10.1007/s10994-021-06065-9","url":"https://arxiv.org/abs/2103.01203","bibtex":"@Article{Katz2023mlj,\r\n author = {Sydney M. Katz and Kyle D. Julian and Christopher A. Strong and Mykel J. Kochenderfer},\r\n journal = {Machine Learning},\r\n title = {Generating probabilistic safety guarantees for neural network controllers},\r\n year = {2023},\r\n pages = {2903--2931},\r\n volume = {112},\r\n doi = {10.1007/s10994-021-06065-9},\r\n url = {https://arxiv.org/abs/2103.01203},\r\n}\r\n\r\n","author_short":["Katz, S. M.","Julian, K. D.","Strong, C. A.","Kochenderfer, M. J."],"key":"Katz2023mlj","id":"Katz2023mlj","bibbaseid":"katz-julian-strong-kochenderfer-generatingprobabilisticsafetyguaranteesforneuralnetworkcontrollers-2023","role":"author","urls":{"Paper":"https://arxiv.org/abs/2103.01203"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://mykel.kochenderfer.com/sisl.bib","dataSources":["L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["generating","probabilistic","safety","guarantees","neural","network","controllers","katz","julian","strong","kochenderfer"],"title":"Generating probabilistic safety guarantees for neural network controllers","year":2023,"downloads":3}