Verification of image-based neural network controllers using generative models. Katz, S. M., Corso, A., Strong, C. A., & Kochenderfer, M. J. Journal of Aerospace Information Systems, 19(9):574–584, 2022. ![Verification of image-based neural network controllers using generative models [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 8 downloads @Article{Katz2022Verification,
author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},
journal = jais,
title = {Verification of image-based neural network controllers using generative models},
year = {2022},
number = {9},
pages = {574--584},
volume = {19},
author+an = {1=jointfirst;2=jointfirst;3=jointfirst},
doi={https://doi-org.stanford.idm.oclc.org/10.2514/1.I011071},
url={https://arxiv.org/abs/2105.07091}
}
Downloads: 8
{"_id":"x8v4Kmv9wg7fiSQW8","bibbaseid":"katz-corso-strong-kochenderfer-verificationofimagebasedneuralnetworkcontrollersusinggenerativemodels-2022","author_short":["Katz, S. M.","Corso, A.","Strong, C. A.","Kochenderfer, M. J."],"bibdata":{"bibtype":"article","type":"article","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":[]}],"journal":"Journal of Aerospace Information Systems","title":"Verification of image-based neural network controllers using generative models","year":"2022","number":"9","pages":"574–584","volume":"19","author+an":"1=jointfirst;2=jointfirst;3=jointfirst","doi":"https://doi-org.stanford.idm.oclc.org/10.2514/1.I011071","url":"https://arxiv.org/abs/2105.07091","bibtex":"@Article{Katz2022Verification,\n author = {Sydney M. Katz and Anthony Corso and Christopher A. Strong and Mykel J. Kochenderfer},\n journal = jais,\n title = {Verification of image-based neural network controllers using generative models},\n year = {2022},\n number = {9},\n pages = {574--584},\n volume = {19},\n author+an = {1=jointfirst;2=jointfirst;3=jointfirst},\n doi={https://doi-org.stanford.idm.oclc.org/10.2514/1.I011071},\n url={https://arxiv.org/abs/2105.07091}\n}\n\n","author_short":["Katz, S. M.","Corso, A.","Strong, C. A.","Kochenderfer, M. J."],"key":"Katz2022Verification","id":"Katz2022Verification","bibbaseid":"katz-corso-strong-kochenderfer-verificationofimagebasedneuralnetworkcontrollersusinggenerativemodels-2022","role":"author","urls":{"Paper":"https://arxiv.org/abs/2105.07091"},"metadata":{"authorlinks":{}},"downloads":8,"html":""},"bibtype":"article","biburl":"https://ancorso.github.io/files/references.bib","dataSources":["TbX42SDTQr5unfHC4","Q5m4eREZKA5kKSYST","mSsYghgSmyfbF75po","gAsQhyq6KFagsX5yX","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":2022,"downloads":8}