{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T08:42:26Z","timestamp":1771576946868,"version":"3.50.1"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2009,6,1]],"date-time":"2009-06-01T00:00:00Z","timestamp":1243814400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/tits.2009.2018966","type":"journal-article","created":{"date-parts":[[2009,4,28]],"date-time":"2009-04-28T20:12:21Z","timestamp":1240949541000},"page":"299-310","source":"Crossref","is-referenced-by-count":254,"title":["Model-Based Probabilistic Collision Detection in Autonomous Driving"],"prefix":"10.1109","volume":"10","author":[{"given":"M.","family":"Althoff","sequence":"first","affiliation":[]},{"given":"O.","family":"Stursberg","sequence":"additional","affiliation":[]},{"given":"M.","family":"Buss","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2004.830145"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2005.1470174"},{"key":"ref31","author":"van den berg","year":"2007","journal-title":"Path planning in dynamic environments"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/S0262-8856(99)00073-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2008.4621210"},{"key":"ref11","article-title":"a prediction and planning framework for road safety analysis, obstacle avoidance and driver information","author":"broadhurst","year":"2004","journal-title":"Proc 11th World Congr Intell Transp Syst"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2005.1505122"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2002.1187956"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2007.909241"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.883115"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2005.853699"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2006.176"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_29"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","volume":"1569","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46086-1","author":"schrder","year":"2003","journal-title":"Modelling State Observation and Diagnosis of Quantised Systems"},{"key":"ref4","first-page":"4154","article-title":"safety assessment of autonomous cars using verification techniques","author":"althoff","year":"2007","journal-title":"Proc Amer Control Conf"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2008.4621131"},{"key":"ref29","first-page":"215","article-title":"cooperative cognitive automobiles","author":"stiller","year":"2007","journal-title":"Proc IEEE Intell Veh Symp"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2005.853392"},{"key":"ref7","first-page":"5125","article-title":"verification of uncertain embedded systems by computing reachable sets based on zonotopes","author":"althoff","year":"2008","journal-title":"Proc 17th IFAC World Congr"},{"key":"ref2","first-page":"728","article-title":"online verification of cognitive car decisions","author":"althoff","year":"2007","journal-title":"Proc IEEE Intell Veh Symp"},{"key":"ref9","first-page":"1582","article-title":"recent progress in continuous and hybrid reachability analysis","author":"asarin","year":"2006","journal-title":"Proc IEEE Conf Comput -Aided Control Syst Des"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.869612"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1080\/00423110412331282850"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1076\/mcmd.7.4.383.3639"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/87.845881"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2006.883937"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCB.2003.820593"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2008.4650952"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2007.903439"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6979\/5038838\/04895669.pdf?arnumber=4895669","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:04:21Z","timestamp":1633910661000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4895669\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":33,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tits.2009.2018966","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,6]]}}}