{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T09:56:34Z","timestamp":1781258194413,"version":"3.54.1"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,9]]},"DOI":"10.1109\/iros.2014.6942751","type":"proceedings-article","created":{"date-parts":[[2014,11,12]],"date-time":"2014-11-12T22:48:34Z","timestamp":1415832514000},"page":"1474-1481","source":"Crossref","is-referenced-by-count":18,"title":["Formal verification of maneuver automata for parameterized motion primitives"],"prefix":"10.1109","author":[{"given":"Daniel","family":"Hess","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Sattel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"206","article-title":"Double-lane change optimization for a stochastic vehicle model subject to collision probability constraints","author":"he\ufffd","year":"2011","journal-title":"Proc of the 14th International IEEE Conference on Intelligent Transportation Systems"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586827"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2013.10.003"},{"key":"36","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","author":"van der schaft","year":"2000","journal-title":"An Introduction to Hybrid Dynamical Systems"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629465"},{"key":"33","author":"rajamani","year":"2006","journal-title":"Vehicle Dynamics and Control"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/237170.237244"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2191174"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399943"},{"key":"13","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 LNCS 3414"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2011.594093"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509627"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.889"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2035776"},{"key":"23","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-48983-5_15","article-title":"A new class of decidable hybrid systems","author":"lafferriere","year":"1999","journal-title":"Hybrid Systems Computation and Control LNCS 1569"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2162998"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2009.5354018"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2013.6728453"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"28","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/978-3-642-36279-8_33","article-title":"Robust online motion planning with regions of finite time invariance","author":"majumdar","year":"2013","journal-title":"Algorithmic Foundations of Robotics X"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315544"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2013.6728217"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314777"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083052"},{"key":"30","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2013.IX.014","article-title":"On provably safe obstacle avoidance for autonomous robotic ground vehicles","author":"mitsch","year":"2013","journal-title":"Proc of Robotics Science and Systems IX"},{"key":"7","doi-asserted-by":"crossref","first-page":"1745","DOI":"10.1016\/j.automatica.2006.05.003","article-title":"Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets","volume":"42","author":"bravo","year":"2006","journal-title":"Automatica"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225351"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.08.007"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4776877"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14509-4"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4738704"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1063\/1.3241327"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980268"}],"event":{"name":"2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS 2014)","location":"Chicago, IL, USA","start":{"date-parts":[[2014,9,14]]},"end":{"date-parts":[[2014,9,18]]}},"container-title":["2014 IEEE\/RSJ International Conference on Intelligent Robots and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6926644\/6942370\/06942751.pdf?arnumber=6942751","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T08:40:37Z","timestamp":1566031237000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6942751\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/iros.2014.6942751","relation":{},"subject":[],"published":{"date-parts":[[2014,9]]}}}