{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:16:15Z","timestamp":1762521375272},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/ivs.2010.5548121","type":"proceedings-article","created":{"date-parts":[[2010,8,19]],"date-time":"2010-08-19T14:47:25Z","timestamp":1282229245000},"source":"Crossref","is-referenced-by-count":54,"title":["Safety verification of autonomous vehicles for coordinated evasive maneuvers"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Althoff","sequence":"additional","affiliation":[]},{"given":"Dirk","family":"Wollherr","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Buss","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434084"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.573113"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/5.871301"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/5.871302"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/6979.928722"},{"key":"ref14","first-page":"547","article-title":"Formal verification of curved flight collision avoidance maneuvers: A case study","author":"platzer","year":"2009","journal-title":"Proc of the 16th International Symposium on Formal Methods"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75221-9_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2007.909241"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2009.2018966"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.806655"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2006.1707153"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/978-3-540-31954-2_19","article-title":"Reachability of uncertain linear systems using zonotopes","author":"girard","year":"2005","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref3","article-title":"Path planning in dynamic environments","author":"van den berg","year":"2007"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ACC.2001.945504","article-title":"Reachability analysis of hybrid lateral control problem for automated heavy-duty vehicles","author":"wang","year":"2001","journal-title":"Proc of the American Control Conference"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/3-540-36580-X_35","article-title":"Efficient representation and computation of reachable sets for hybrid systems","author":"stursberg","year":"2003","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2006.1641894"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_16"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/11730637_22","article-title":"Verification using simulation","author":"girard","year":"2006","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/70.781973"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36580-X_22"},{"key":"ref1","first-page":"215","article-title":"Cooperative cognitive automobiles","author":"stiller","year":"2007","journal-title":"Proc of the IEEE Intelligent Vehicles Symposium"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/87.736743"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1504\/IJVD.2000.001875"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2003.823292"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/AMC.2006.1631666"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363647"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"}],"event":{"name":"2010 IEEE Intelligent Vehicles Symposium (IV)","location":"La Jolla, CA, USA","start":{"date-parts":[[2010,6,21]]},"end":{"date-parts":[[2010,6,24]]}},"container-title":["2010 IEEE Intelligent Vehicles Symposium"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5535007\/5547951\/05548121.pdf?arnumber=5548121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T03:31:09Z","timestamp":1559446269000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5548121\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/ivs.2010.5548121","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}