{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T15:29:49Z","timestamp":1778167789853,"version":"3.51.4"},"reference-count":14,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"9","funder":[{"DOI":"10.13039\/100000104","name":"National Aeronautics and Space Administration","doi-asserted-by":"publisher","award":["80NSSC20M0163"],"award-info":[{"award-number":["80NSSC20M0163"]}],"id":[{"id":"10.13039\/100000104","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["DGE\u20131656518"],"award-info":[{"award-number":["DGE\u20131656518"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.2514\/1.i011071","type":"journal-article","created":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T11:11:37Z","timestamp":1658747497000},"page":"574-584","update-policy":"https:\/\/doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":19,"title":["Verification of Image-Based Neural Network Controllers Using Generative Models"],"prefix":"10.2514","volume":"19","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8376-5145","authenticated-orcid":false,"given":"Sydney M.","family":"Katz","sequence":"first","affiliation":[{"name":"Stanford University, Stanford, California 94305"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony L.","family":"Corso","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, California 94305"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher A.","family":"Strong","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, California 94305"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mykel J.","family":"Kochenderfer","sequence":"additional","affiliation":[{"name":"Stanford University, Stanford, California 94305"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r1","doi-asserted-by":"publisher","DOI":"10.1038\/nature14236"},{"key":"r2","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.056"},{"key":"r11","doi-asserted-by":"publisher","DOI":"10.1561\/2400000035"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-06065-9"},{"key":"r15","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"r21","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-021-06050-2"},{"key":"r24","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"key":"r26","first-page":"1141","author":"Mirman M.","year":"2021","journal-title":"PLDI 2021: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"},{"key":"r32","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.2765202"},{"key":"r34","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2018.09.013"},{"key":"r36","volume":"32","author":"Kynk\u00e4\u00e4nniemi T.","year":"2019","journal-title":"Advances in Neural Information Processing Systems"},{"key":"r40","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.1287\/opre.14.4.699"},{"key":"r47","unstructured":"KochenderferM. J.WheelerT. A., Algorithms for Optimization, MIT Press, Cambridge, MA, 2019, pp.\u00a0346\u2013351."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I011071","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T10:59:15Z","timestamp":1663153155000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I011071"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":14,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2022,9]]}},"alternative-id":["10.2514\/1.I011071"],"URL":"https:\/\/doi.org\/10.2514\/1.i011071","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9]]},"assertion":[{"value":"2021-10-18","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-02-22","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-06-14","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-07-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}