{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T06:21:26Z","timestamp":1765520486181,"version":"3.48.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100016978","name":"CODE","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100016978","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11247647","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"14877-14883","source":"Crossref","is-referenced-by-count":0,"title":["Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Shuhao","family":"Qi","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology,Department of Electrical Engineering,Eindhoven,The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zengjie","family":"Zhang","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Department of Electrical Engineering,Eindhoven,The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiyong","family":"Sun","sequence":"additional","affiliation":[{"name":"Peking University,College of Engineering,Beijing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofie","family":"Haesaert","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology,Department of Electrical Engineering,Eindhoven,The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110692"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1561\/2300000078"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483174"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2025.3570483"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1561\/2600000029"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10383729"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683305"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3230765"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3120681"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s13347-021-00449-4"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-020-18353-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.amar.2023.100303"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i5.25768"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1201\/9781315140223"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482873"},{"key":"ref18","first-page":"1","article-title":"CARLA: An open urban driving simulator","volume-title":"Conference on robot learning","author":"Dosovitskiy"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10187.001.0001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913519000"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60630-0_5"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28619-4_10"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s11245-018-9539-3"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v27i1.13840"},{"article-title":"Gurobi Optimizer Reference Manual","year":"2024","author":"Gurobi","key":"ref25"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2024.3441315"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11247647.pdf?arnumber=11247647","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,12]],"date-time":"2025-12-12T06:17:51Z","timestamp":1765520271000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11247647\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11247647","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}