{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T10:36:44Z","timestamp":1742639804104},"reference-count":41,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/itsc.2017.8317647","type":"proceedings-article","created":{"date-parts":[[2018,3,15]],"date-time":"2018-03-15T16:47:12Z","timestamp":1521132432000},"source":"Crossref","is-referenced-by-count":35,"title":["Ensuring drivability of planned motions using formal methods"],"prefix":"10.1109","author":[{"given":"Bastian","family":"Schurmann","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Hes","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Eilbrecht","sequence":"additional","affiliation":[]},{"given":"Olaf","family":"Stursberg","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Koster","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"120","article-title":"An introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref38","author":"althoff","year":"2010","journal-title":"Reachability Analysis and Its Application to the Safety Assessment of Autonomous Cars"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.418"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883828"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314777"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426612"},{"key":"ref36","author":"williams","year":"2013","journal-title":"Model Building in Mathematical Programming"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"ref34","first-page":"309","article-title":"Safe cooperation of automated vehicles","author":"he\u00df","year":"2017","journal-title":"Proc of the AAET Automatisiertes & Vernetztes Fahren ITS automotive nord e V"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995795"},{"key":"ref40","author":"temme","year":"2010","journal-title":"EU-project HAVEit Deliverable D41 3 Joint system validation in vehicle (2nd version)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2010.2045501"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185656"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39698-4_12"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000230"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083052"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"},{"key":"ref19","first-page":"1474","article-title":"Formal verification of maneuver automata for parameterized motion primitives","author":"he\u00df","year":"2014","journal-title":"Proc IEEE Int Conf Intell Robot Syst"},{"key":"ref28","author":"van osch","year":"2009","journal-title":"Automated Model-based Testing of Hybrid Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2016.7535523"},{"key":"ref27","author":"tretmans","year":"1992","journal-title":"A Formal Approach to Conformance Testing"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2498841"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2010.2052325"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-15"},{"key":"ref5","first-page":"188","article-title":"Optimal motion planning with the half-car dynamical model for autonomous high-speed driving","author":"jeon","year":"2013","journal-title":"Proc of the American Control Conf"},{"key":"ref8","first-page":"2603","article-title":"Mixed integer programming for multi-vehicle path planning","author":"schouwenaars","year":"2001","journal-title":"Proc of the European Control Conf"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2014.2384951"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795555"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2578706"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.08.019"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176409"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2191174"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3049797.3049800"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963332"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2017.08.1617"}],"event":{"name":"2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC)","location":"Yokohama","start":{"date-parts":[[2017,10,16]]},"end":{"date-parts":[[2017,10,19]]}},"container-title":["2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8307147\/8317580\/08317647.pdf?arnumber=8317647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T17:11:07Z","timestamp":1523293867000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8317647\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":41,"URL":"https:\/\/doi.org\/10.1109\/itsc.2017.8317647","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}