{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,23]],"date-time":"2026-09-23T16:35:49Z","timestamp":1790181349259,"version":"4.1.0"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,24]],"date-time":"2023-09-24T00:00:00Z","timestamp":1695513600000},"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":[[2023,9,24]]},"DOI":"10.1109\/itsc57777.2023.10422619","type":"proceedings-article","created":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T18:32:39Z","timestamp":1707849159000},"page":"1361-1367","source":"Crossref","is-referenced-by-count":6,"title":["Lexicographic Mixed-Integer Motion Planning with STL Constraints"],"prefix":"10.1109","author":[{"given":"Patrick","family":"Halder","sequence":"first","affiliation":[{"name":"ZF Friedrichshafen AG,Friedrichshafen,Germany,88046"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabian","family":"Christ","sequence":"additional","affiliation":[{"name":"ZF Friedrichshafen AG,Friedrichshafen,Germany,88046"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"School of Computation, Information and Technology, Technical University of Munich,Garching,Germany,85748"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Multicriteria optimization","volume":"2","author":"Ehrgott","year":"2005"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110692"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2016.2578706"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3450267.3450542"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.2991953"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482810"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160622"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794364"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304588"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.2010202118"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922114"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9635960"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760374"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483174"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2742141"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1038\/s42256-020-0225-y"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3306157"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.3017342"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564801"},{"key":"ref21","article-title":"Modeling and testing multi-agent traffic rules within interactive behavior planning","author":"Esterle","year":"2020","journal-title":"IROS Workshop on Perception, Learning, and Control for Autonomous Agile Vehicles"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/iv47402.2020.9304549"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IV51971.2022.9827153"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9217037"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561777"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-053018-023717"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147917"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814487"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3501710.3519518"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3047362"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ivs.2017.7995802"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2017.8317775"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s11047-022-09911-4"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2814631"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.2492"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC48978.2021.9564432"},{"key":"ref42","article-title":"Provably safe motion planning for autonomous vehicles through online verification","volume-title":"Ph.D. dissertation, Technische Universitat M\u00fcnchen","author":"Pek","year":"2020"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922232"}],"event":{"name":"2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)","location":"Bilbao, Spain","start":{"date-parts":[[2023,9,24]]},"end":{"date-parts":[[2023,9,28]]}},"container-title":["2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10420842\/10420843\/10422619.pdf?arnumber=10422619","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T06:56:22Z","timestamp":1709448982000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10422619\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,24]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/itsc57777.2023.10422619","relation":{},"subject":[],"published":{"date-parts":[[2023,9,24]]}}}