{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:21:10Z","timestamp":1730276470961,"version":"3.28.0"},"reference-count":100,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,1]],"date-time":"2022-10-01T00:00:00Z","timestamp":1664582400000},"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":[],"published-print":{"date-parts":[[2022,10]]},"DOI":"10.1109\/issre55969.2022.00017","type":"proceedings-article","created":{"date-parts":[[2022,12,21]],"date-time":"2022-12-21T13:58:20Z","timestamp":1671631100000},"page":"61-72","source":"Crossref","is-referenced-by-count":4,"title":["Verifiable Obstacle Detection"],"prefix":"10.1109","author":[{"given":"Ayoosh","family":"Bansal","sequence":"first","affiliation":[{"name":"University of Illinois Urbana-Champaign"}]},{"given":"Hunmin","family":"Kim","sequence":"additional","affiliation":[{"name":"Mercer University"}]},{"given":"Simon","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign"}]},{"given":"Bo","family":"Li","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign"}]},{"given":"Naira","family":"Hovakimyan","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign"}]},{"given":"Marco","family":"Caccamo","sequence":"additional","affiliation":[{"name":"Technical University of Munich"}]},{"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3128968"},{"key":"ref38","first-page":"3976","article-title":"Knowledge enhanced machine learning pipeline against diverse adversarial attacks","author":"g\u00fcrel","year":"2021","journal-title":"International Conference on Machine Learning"},{"key":"ref33","article-title":"Identifying challenges to the certification of machine learning for safety critical systems","author":"jenn","year":"2020","journal-title":"European Congress on Embedded Real Time Systems (ERTS 2020)"},{"key":"ref32","article-title":"Verification of adaptive systems","author":"wilkinson","year":"2016","journal-title":"Federal Aviation Administration Tech Rep"},{"key":"ref31","article-title":"Software assurance approaches, considerations, and limitations: Final report","author":"heimdahl","year":"2016","journal-title":"Federal Aviation Administration Tech Rep"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.21236\/ADA585679"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.3390\/s18030894"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"key":"ref35","article-title":"Simplex TM in a Hostile Communications Environment: The Coordinated Prototype","author":"altman","year":"1999","journal-title":"Citeseer Tech Rep"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.3390\/make2040031"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3372297.3423338"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180220"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55583-2_25"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1038\/d41586-019-03013-5"},{"journal-title":"IEEE Intelligent Transportation Systems Magazine","article-title":"Autonomous vehicle safety: An interdisciplinary challenge","year":"2017","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40994-3_25"},{"key":"ref23","article-title":"The heavy tail safety ceiling","author":"koopman","year":"0","journal-title":"Automated and Connected Vehicle Systems Testing Symposium"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.2989148"},{"key":"ref25","article-title":"Concrete problems in AI","author":"amodei","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s43681-021-00128-2"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.4042306"},{"key":"ref59","first-page":"1","article-title":"On real-time lidar data segmentation and clas-sification","author":"korchev","year":"2013","journal-title":"Proceedings of the International Conference on Image Processing Computer Vision and Pattern Recognition (IPCV) The Steering Committee of The World Congress in Computer Science"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548059"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353537"},{"key":"ref56","article-title":"A review of formal methods applied to machine learning","author":"urban","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ITA.2016.7888195"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/DSN-W.2018.00074"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.4011917"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2020.2973615"},{"key":"ref4"},{"journal-title":"Autonomous vehicle myths The dirty dozen","year":"2021","author":"koopman","key":"ref3"},{"journal-title":"Collision between a sport utility vehicle operating with partial driving automation and a crash attenuator mountain view california","year":"2018","key":"ref6"},{"journal-title":"Collision between vehicle controlled by developmental automated driving system and pedestrian Tempe Arizona","year":"2018","key":"ref5"},{"article-title":"Dashcam shows fatal Tesla Model S crash in China","year":"2016","author":"ngo","key":"ref8"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.iatssr.2021.04.003"},{"journal-title":"Highway Accident Brief Accident Number HWY19FH008","article-title":"Highway accident brief HWY19FH008","year":"2019","key":"ref7"},{"journal-title":"Another fatal Tesla crash reportedly on Autopilot emerges Model S hits a streetsweeper truck","year":"2016","author":"lambert","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.3390\/s21082819"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.00252"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.7249\/CT463"},{"journal-title":"ODI RESUME ” Investigation PE 21–020","year":"2021","key":"ref47"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00864"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3086804"},{"key":"ref44","first-page":"1","article-title":"Efficient online segmentation for sparse 3d laser scans","year":"2017","journal-title":"J Photogramm Remote Sens Geoinf Sci"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759050"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.4271\/980853"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2020.100270"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53288-8_2"},{"key":"ref70","article-title":"Algorithms for verifying deep neural networks","author":"liu","year":"2019","journal-title":"ArXiv Preprint"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2013.0056"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2873921"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2599783"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2918176"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2912067"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2962785"},{"key":"ref60","first-page":"788","article-title":"Detection and tracking of moving objects using 2.5 d motion grids","author":"asvadi","year":"0","journal-title":"2015 IEEE 18th International Conference on Intelligent Transportation Systems"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989591"},{"key":"ref61","first-page":"491","article-title":"A fast ground segmentation method for 3d point cloud","volume":"13","author":"chu","year":"2017","journal-title":"Journal of Information Processing Systems"},{"key":"ref63","article-title":"Lidar cluster first and camera inference later: A new perspective towards autonomous driving","author":"chen","year":"2021","journal-title":"ArXiv Preprint"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS49844.2020.00037"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.3390\/s21010230"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.3390\/rs13163239"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR46437.2021.00590"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19839-7_28"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1561\/9781680839111"},{"journal-title":"National Highway Traffic Safety Administration","article-title":"Automated vehicles for safety","year":"0","key":"ref2"},{"journal-title":"Benefits of self driving vehicles","article-title":"Coalition for Future Mobility","year":"0","key":"ref1"},{"key":"ref95","article-title":"Adversarial objects against lidar-based autonomous driving systems","author":"cao","year":"2019","journal-title":"ArXiv Preprint"},{"journal-title":"Detection Evaluation","year":"2021","author":"consortium","key":"ref94"},{"journal-title":"The Mathworks Inc","article-title":"Sedan","year":"2021","key":"ref93"},{"journal-title":"Velodyne Lidar HDL-64E S3 HD Real-Time 3D Lidar","year":"2018","key":"ref92"},{"key":"ref91","first-page":"158","article-title":"Policy on geometric design of highways and streets","volume":"1","year":"2001","journal-title":"American Association of State Highway and Transportation Officials"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.4271\/02-14-01-0007"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485377"},{"key":"ref99","first-page":"1527","article-title":"Weather influence and classification with automo-tive lidar sensors","author":"heinzler","year":"0","journal-title":"2019 IEEE Intelligent Vehicles Symposium (IV)"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR42600.2020.01373"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636638"},{"key":"ref10","article-title":"Umeda v. Tesla, Inc., United States District Court for the Northern District of California","volume":"5","author":"chen","year":"2020","journal-title":"Case"},{"key":"ref11","article-title":"it happened so fast”: Inside a fatal tesla autopilot accident","volume":"17","author":"boudette","year":"2021","journal-title":"The New York Times Aug"},{"key":"ref12","article-title":"Tesla model 3 drives straight into overturned truck in what seems to be autopilot failure","author":"torchinsky","year":"0","journal-title":"Jalopnik"},{"key":"ref13","article-title":"Lawsuit: Family blames tesla's autopilot for deadly crash","author":"kerman","year":"2021","journal-title":"KRON4"},{"key":"ref14","article-title":"Fatal tesla crash into fire truck was one year ago today","author":"jernagan","year":"2020","journal-title":"Banner Graphic"},{"journal-title":"Feds will investigate deadly tesla crash in california","year":"2020","author":"news","key":"ref15"},{"key":"ref16","article-title":"Tesla on auto-steering when man was cut down [translated]","author":"r\u00f8ed","year":"2020","journal-title":"Motor"},{"key":"ref82","article-title":"Human-centered risk assessment of an automated vehicle using vehicular wireless communication","author":"shin","year":"2018","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"ref17","article-title":"Two dead in wreck involving tesla that pct. 4 says burned nearly four hours","author":"alexander","year":"0","journal-title":"KHOU11 2021"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2018.2840530"},{"journal-title":"Tesla driver killed 2 seriously hurt in big-rig wreck on 210 freeway in fontana","year":"2021","author":"los angeles","key":"ref18"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2020.102820"},{"journal-title":"52-year-old fixing flat on long island expressway hit killed by tesla driver Cops","year":"2021","author":"york","key":"ref19"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2019.2900453"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2691346"},{"key":"ref89","first-page":"988","article-title":"Research on trajectory planning in emergency situ-ations with multiple objects","author":"schmidt","year":"0","journal-title":"2006 IEEE Intelligent Transportation Systems Conference"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.08.006"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967738"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.3141\/2424-07"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1109\/MECO52532.2021.9460196"}],"event":{"name":"2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2022,10,31]]},"location":"Charlotte, NC, USA","end":{"date-parts":[[2022,11,3]]}},"container-title":["2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9978763\/9978935\/09978967.pdf?arnumber=9978967","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,16]],"date-time":"2023-01-16T14:30:59Z","timestamp":1673879459000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9978967\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10]]},"references-count":100,"URL":"https:\/\/doi.org\/10.1109\/issre55969.2022.00017","relation":{},"subject":[],"published":{"date-parts":[[2022,10]]}}}