{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T21:32:44Z","timestamp":1774992764328,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T00:00:00Z","timestamp":1665187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T00:00:00Z","timestamp":1665187200000},"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,8]]},"DOI":"10.1109\/itsc55140.2022.9922232","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:40:13Z","timestamp":1667526013000},"page":"2313-2320","source":"Crossref","is-referenced-by-count":21,"title":["CommonRoad-Reach: A Toolbox for Reachability Analysis of Automated Vehicles"],"prefix":"10.1109","author":[{"given":"Edmond Irani","family":"Liu","sequence":"first","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]},{"given":"Gerald","family":"Wursching","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]},{"given":"Moritz","family":"Klischat","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Department of Informatics,Garching,Germany,85748"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2020.3036624"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317647"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3063989"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2014.6856487"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917052"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2492"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294259"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314777"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530514"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/OJITS.2021.3078121"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569332"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1137\/090762075"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2742141"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-071420-081941"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995714"},{"key":"ref39","first-page":"22","article-title":"The next generation simulation program","volume":"74","author":"alexiadis","year":"2004","journal-title":"ITE J Inst Transp Eng"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017342"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304544"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225909"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759805"},{"key":"ref24","first-page":"379","article-title":"SpaceEx: Scalable verification of hybrid systems","author":"frehse","year":"0","journal-title":"Proc of the Int Conf Comput Aided Verif"},{"key":"ref23","first-page":"152","article-title":"Flow* 1.2: More effective to play with hybrid systems","author":"chen","year":"0","journal-title":"Int Workshop Appl Verif Contin and Hybrid Syst"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178128"},{"key":"ref25","first-page":"120","article-title":"An introduction to CORA 2015","author":"althoff","year":"0","journal-title":"Proc of the Workshop Appl Verif Contin and Hybrid Syst"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564801"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569560"},{"key":"ref21","first-page":"1037","article-title":"Computing specification-compliant reachable sets for motion planning of automated vehicles","author":"irani liu","year":"0","journal-title":"Proc IEEE Intell Veh Symp"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_5"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049808"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1002\/oca.2565"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017385"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6943146"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8814251"},{"key":"ref4","first-page":"184","article-title":"Verification of collision avoidance for CommonRoad traffic scenarios","author":"kochdumper","year":"0","journal-title":"Int Workshop Appl Verif Contin and Hybrid Syst"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294328"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500709"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"}],"event":{"name":"2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)","location":"Macau, China","start":{"date-parts":[[2022,10,8]]},"end":{"date-parts":[[2022,10,12]]}},"container-title":["2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9921415\/9921739\/09922232.pdf?arnumber=9922232","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,27]],"date-time":"2023-02-27T22:51:19Z","timestamp":1677538279000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9922232\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,8]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/itsc55140.2022.9922232","relation":{},"subject":[],"published":{"date-parts":[[2022,10,8]]}}}