{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T20:16:03Z","timestamp":1773778563623,"version":"3.50.1"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,5]],"date-time":"2022-06-05T00:00:00Z","timestamp":1654387200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,5]],"date-time":"2022-06-05T00:00:00Z","timestamp":1654387200000},"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,6,5]]},"DOI":"10.1109\/iv51971.2022.9827357","type":"proceedings-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T19:33:28Z","timestamp":1658259208000},"page":"449-456","source":"Crossref","is-referenced-by-count":19,"title":["Rule-Compliant Trajectory Repairing using Satisfiability Modulo Theories"],"prefix":"10.1109","author":[{"given":"Yuanfei","family":"Lin","sequence":"first","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":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2018.8569552"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-81955-1_28"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2017.8256286"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2020.3036624"},{"key":"ref30","first-page":"199","author":"kroening","year":"2016","journal-title":"Quantified Formulas"},{"key":"ref37","first-page":"1","article-title":"Map-based curvilinear coordinates for autonomous vehicles","author":"h\u00e9ry","year":"2017","journal-title":"Proc of the IEEE Int Conf on Intelligent Transportation Systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2011.5940482"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref40","first-page":"2909","article-title":"CVXPY: A Python-embedded modeling language for convex optimization","volume":"17","author":"diamond","year":"2016","journal-title":"The Journal of Machine Learning Research"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564432"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304588"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450542"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150682"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2009.5399536"},{"key":"ref17","first-page":"3217","article-title":"Incremental sampling-based algorithm for minimum-violation motion planning","author":"castro","year":"2013","journal-title":"Proc of the IEEE Conf on Decision and Control"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2397"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/368273.368557"},{"key":"ref4","first-page":"1","article-title":"Computing specification-compliant reachable sets for motion planning of automated vehicles","author":"irani liu","year":"2021","journal-title":"Proc of the IEEE Intelligent Vehicles Symposium"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9565060"},{"key":"ref6","article-title":"On a formal model of safe and scalable self-driving cars","author":"shalev-shwartz","year":"2018","journal-title":"arXiv preprint arXiv 1708 06374"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9030068"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CAVS51000.2020.9334599"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2011.6083056"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304549"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1025"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_5"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_10"},{"key":"ref42","first-page":"987","article-title":"Optimal trajectory generation for dynamic street scenarios in a Frénet frame","author":"werling","year":"2010","journal-title":"Proc of the IEEE Int Conf on Robotics and Automation"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3410220.3460101"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-020-00179-2"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190034"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263808"},{"key":"ref25","first-page":"6683","article-title":"Scalable motion planning using lazy SMT-based solving","author":"shoukry","year":"2016","journal-title":"Proc of the IEEE Conf on Decision and Control"}],"event":{"name":"2022 IEEE Intelligent Vehicles Symposium (IV)","location":"Aachen, Germany","start":{"date-parts":[[2022,6,4]]},"end":{"date-parts":[[2022,6,9]]}},"container-title":["2022 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9826996\/9826997\/09827357.pdf?arnumber=9827357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,8]],"date-time":"2022-08-08T20:03:58Z","timestamp":1659989038000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9827357\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,5]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/iv51971.2022.9827357","relation":{},"subject":[],"published":{"date-parts":[[2022,6,5]]}}}