{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T19:59:48Z","timestamp":1781294388032,"version":"3.54.1"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004359","name":"Vetenskapsr\u00e5det","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004359","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004063","name":"Knut och Alice Wallenbergs Stiftelse","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004063","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Horizon Europe Grant SymAware"},{"name":"ERC Consolidator Grant LEAFHOUND"},{"DOI":"10.13039\/501100003170","name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","doi-asserted-by":"publisher","award":["202400088"],"award-info":[{"award-number":["202400088"]}],"id":[{"id":"10.13039\/501100003170","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/lcsys.2026.3699405","type":"journal-article","created":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T20:09:03Z","timestamp":1780430943000},"page":"505-510","source":"Crossref","is-referenced-by-count":0,"title":["Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization"],"prefix":"10.1109","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7039-5314","authenticated-orcid":false,"given":"Eleftherios E.","family":"Vlahakis","sequence":"first","affiliation":[{"name":"Division of Computer Engineering and Computer Science, University West, Trollhättan, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8931-5372","authenticated-orcid":false,"given":"Arash","family":"Bahari Kordabad","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3430-6625","authenticated-orcid":false,"given":"Lars","family":"Lindemann","sequence":"additional","affiliation":[{"name":"Automatic Control Laboratory, ETH Zürich, Zürich, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4584-2354","authenticated-orcid":false,"given":"Pantelis","family":"Sopasakis","sequence":"additional","affiliation":[{"name":"School of Electronics, Electrical Engineering and Computer Science, Queen’s University Belfast, Belfast, U.K."}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1922-6678","authenticated-orcid":false,"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7309-8086","authenticated-orcid":false,"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"Department of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Stockholm, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814487"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"ref10","article-title":"Exact smooth reformulations for trajectory optimization under signal temporal logic specifications","author":"Han","year":"2025","journal-title":"arXiv:2511.07375"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3361971"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1049\/cth2.12254"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.05.013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC56724.2024.10886279"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-007-0170-0"},{"key":"ref16","volume-title":"Numerical Optimization","author":"Nocedal","year":"2006"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(77)90055-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-63461-2_1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1017501703105"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2020.12.071"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC57313.2025.11312039"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/11370312\/11547164.pdf?arnumber=11547164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T19:44:51Z","timestamp":1781293491000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11547164\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2026.3699405","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}