{"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":1778167789550,"version":"3.51.4"},"reference-count":28,"publisher":"IEEE","funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CNS-1545126,CCF-1837132"],"award-info":[{"award-number":["CNS-1545126,CCF-1837132"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9482896","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"3447-3454","source":"Crossref","is-referenced-by-count":11,"title":["Counterexample-Guided Synthesis of Perception Models and Control"],"prefix":"10.23919","author":[{"given":"Shromona","family":"Ghosh","sequence":"first","affiliation":[]},{"given":"Yash Vardhan","family":"Pant","sequence":"additional","affiliation":[]},{"given":"Hadi","family":"Ravanbakhsh","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16814-2_13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12637-1_57"},{"key":"ref12","author":"jin","year":"2015","journal-title":"Robust convolutional neural networks under adversarial noise"},{"key":"ref13","author":"wong","year":"2017","journal-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1469944"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2020.2979388"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/286"},{"key":"ref17","author":"chen","year":"2020","journal-title":"Counter-example guided learning of bounds on environment behavior"},{"key":"ref18","first-page":"187","author":"p?s?reanu","year":"2019","journal-title":"Compositional Verification for Autonomous Systems with Deep Learning Components White Paper"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref28","author":"grazioli","year":"0","journal-title":"P4 - advanced lane detection"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref27","first-page":"1","article-title":"CARLA: An open urban driving simulator","author":"dosovitskiy","year":"0","journal-title":"Proceedings of the 1st Annual Conference on Robot Learning"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-017-0294-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3134599"},{"key":"ref5","article-title":"VerifAI: A toolkit for the design and analysis of artificial intelligence-based systems","author":"tommaso","year":"0","journal-title":"Proceedings of the 31st Conference on Computer Aided Verification CAV 2019"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_26"},{"key":"ref2","author":"seshia","year":"2016","journal-title":"Toward verified artificial intelligence"},{"key":"ref9","article-title":"Formal scenario-based testing of autonomous vehicles: From simulation to the real world","author":"fremont","year":"0","journal-title":"23rd IEEE International Conference on Intelligent Transportation Systems (ITSC)"},{"key":"ref1","year":"0","journal-title":"review of fatal Arizona crash U S agency says Uber software had flaws"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_24"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1168918.1168907"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1002\/047134608X.W1046"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460635"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.5772\/5618"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1080\/09332480.2014.914768"}],"event":{"name":"2021 American Control Conference (ACC)","location":"New Orleans, LA, USA","start":{"date-parts":[[2021,5,25]]},"end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09482896.pdf?arnumber=9482896","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T10:51:18Z","timestamp":1633517478000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9482896\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9482896","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}