@InProceedings{Katz2021dasc,
    author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},
    author+an = {1=jointfirst;2=jointfirst;3=jointfirst},
    booktitle = dasc,
    title = {Verification of image-based neural network controllers using generative models},
    year = {2021},
    doi={10.1109/DASC52595.2021.9594360},
    url={https://arxiv.org/abs/2105.07091}
}

{"_id":"ZX2xms4kaow5vNfrW","bibbaseid":"katz-corso-strong-kochenderfer-verificationofimagebasedneuralnetworkcontrollersusinggenerativemodels-2021","author_short":["Katz, S. M.","Corso, A.","Strong, C. A.","Kochenderfer, M. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Sydney","M."],"propositions":[],"lastnames":["Katz"],"suffixes":[]},{"firstnames":["Anthony"],"propositions":[],"lastnames":["Corso"],"suffixes":[]},{"firstnames":["Christopher","A."],"propositions":[],"lastnames":["Strong"],"suffixes":[]},{"firstnames":["Mykel","J."],"propositions":[],"lastnames":["Kochenderfer"],"suffixes":[]}],"author+an":"1=jointfirst;2=jointfirst;3=jointfirst","booktitle":"Digital Avionics Systems Conference (DASC)","title":"Verification of image-based neural network controllers using generative models","year":"2021","doi":"10.1109/DASC52595.2021.9594360","url":"https://arxiv.org/abs/2105.07091","bibtex":"@InProceedings{Katz2021dasc,\n author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},\n author+an = {1=jointfirst;2=jointfirst;3=jointfirst},\n booktitle = dasc,\n title = {Verification of image-based neural network controllers using generative models},\n year = {2021},\n doi={10.1109/DASC52595.2021.9594360},\n url={https://arxiv.org/abs/2105.07091}\n}\n\n\n","author_short":["Katz, S. M.","Corso, A.","Strong, C. A.","Kochenderfer, M. J."],"key":"Katz2021dasc","id":"Katz2021dasc","bibbaseid":"katz-corso-strong-kochenderfer-verificationofimagebasedneuralnetworkcontrollersusinggenerativemodels-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2105.07091"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["TbX42SDTQr5unfHC4","mSsYghgSmyfbF75po","L6He8KnRF8BusNwKm","bdnWRMC3puq7qTm42"],"keywords":[],"search_terms":["verification","image","based","neural","network","controllers","using","generative","models","katz","corso","strong","kochenderfer"],"title":"Verification of image-based neural network controllers using generative models","year":2021}