{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T18:12:08Z","timestamp":1760551928105,"version":"3.37.3"},"reference-count":27,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/USG.html"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T00:00:00Z","timestamp":1682899200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2023,5]]},"DOI":"10.1109\/lra.2023.3258719","type":"journal-article","created":{"date-parts":[[2023,3,17]],"date-time":"2023-03-17T17:25:05Z","timestamp":1679073905000},"page":"2692-2699","source":"Crossref","is-referenced-by-count":7,"title":["Discovering Closed-Loop Failures of Vision-Based Controllers via Reachability Analysis"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6164-514X","authenticated-orcid":false,"given":"Kaustav","family":"Chakraborty","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somil","family":"Bansal","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, University of Southern California, Los Angeles, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2942989"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2019.xv.074"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21918"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/DASC52595.2021.9594360"},{"article-title":"Evaluating robustness of neural networks with mixed integer programming","year":"2017","author":"Tjeng","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref7","first-page":"9334","article-title":"A unified view of SDP-based neural network verification through completely positive programming","volume-title":"Proc. Int. Conf. Artif. Intell. Statist.","author":"Brown","year":"2022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3358228"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DASC43569.2019.9081748"},{"article-title":"Verifying controllers with convolutional neural network-based perception: A case for intelligible, safe, and precise abstractions","year":"2021","author":"Hsieh","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-06773-0_11"},{"year":"2019","key":"ref15","article-title":"Laminar research: X-plane 11 (2019)"},{"year":"2011","key":"ref16","article-title":"Matterport"},{"article-title":"Joint 2D-3D-semantic data for indoor scene understanding","year":"2017","author":"Armeni","key":"ref17"},{"article-title":"A scenario-based platform for testing autonomous vehicle behavior prediction models in simulation","year":"2021","author":"Indaheng","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294368"},{"article-title":"Systematic testing of convolutional neural networks for autonomous driving","year":"2017","author":"Dreossi","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482896"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3477033"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851439"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46430-1_27"},{"article-title":"A toolbox of level set methods","year":"2007","author":"Mitchell","key":"ref25"},{"key":"ref26","first-page":"420","article-title":"Combining optimal control and learning for visual navigation in novel environments","volume-title":"Proc. Conf. Robot Learn.","author":"Bansal","year":"2020"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561949"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/10073596\/10075409.pdf?arnumber=10075409","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,14]],"date-time":"2024-03-14T06:17:04Z","timestamp":1710397024000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10075409\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5]]},"references-count":27,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/lra.2023.3258719","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"type":"electronic","value":"2377-3766"},{"type":"electronic","value":"2377-3774"}],"subject":[],"published":{"date-parts":[[2023,5]]}}}