{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,21]],"date-time":"2026-08-21T14:18:54Z","timestamp":1787321934912,"version":"3.56.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/itsc.2018.8569332","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T01:21:46Z","timestamp":1544664106000},"page":"1729-1736","source":"Crossref","is-referenced-by-count":91,"title":["Tackling Occlusions & Limited Sensor Range with Set-based Safety Verification"],"prefix":"10.1109","author":[{"given":"Piotr F.","family":"Orzechowski","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Annika","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Lauer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907375"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795595"},{"key":"ref12","article-title":"Towards Safe Vehicle Navigation in Dynamic Urban Scenarios","author":"macek","year":"2009","journal-title":"Automatika"},{"key":"ref13","year":"2014","journal-title":"Taxonomy and Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems-J3016"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856487"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995951"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1109\/TRO.2014.2312453","article-title":"Online Verification of Automated Road Vehicles Using Reachability Analysis","volume":"30","author":"althoff","year":"2014","journal-title":"IEEE Transactions on Robotics"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.62.1805"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref19","author":"wallman","year":"2001","journal-title":"Friction Measurement Methods and the Correlation Between Road Friction and Traffic Safety A Literature Review"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995803"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1186\/s40648-014-0001-z"},{"key":"ref6","article-title":"Safe Navigation of a Mobile Robot Considering Visibility of Environment","volume":"56","author":"chung","year":"2009","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317666"},{"key":"ref8","article-title":"Team Cornell's Skynet: Robust perception and planning in an urban environment","volume":"25","author":"isaac","year":"2008","journal-title":"Journal of Field Robotics"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957722"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2622920"},{"key":"ref1","author":"shalev-shwartz","year":"2017","journal-title":"On a formal model of safe and scalable self-driving cars"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2004.1336472"}],"event":{"name":"2018 21st International Conference on Intelligent Transportation Systems (ITSC)","location":"Maui, HI","start":{"date-parts":[[2018,11,4]]},"end":{"date-parts":[[2018,11,7]]}},"container-title":["2018 21st International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8543039\/8569013\/08569332.pdf?arnumber=8569332","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:31:55Z","timestamp":1598229115000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8569332\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/itsc.2018.8569332","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}