{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T14:49:28Z","timestamp":1784645368695,"version":"3.55.0"},"reference-count":22,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62173314"],"award-info":[{"award-number":["62173314"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2013601"],"award-info":[{"award-number":["U2013601"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Robot. Autom. Lett."],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1109\/lra.2023.3290531","type":"journal-article","created":{"date-parts":[[2023,6,29]],"date-time":"2023-06-29T17:29:11Z","timestamp":1688059751000},"page":"4991-4998","source":"Crossref","is-referenced-by-count":24,"title":["Fast Task Allocation of Heterogeneous Robots With Temporal Logic and Inter-Task Constraints"],"prefix":"10.1109","volume":"8","author":[{"given":"Lin","family":"Li","sequence":"first","affiliation":[{"name":"Department of Automation, University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ziyang","family":"Chen","sequence":"additional","affiliation":[{"name":"Department of Automation, University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-3132-2809","authenticated-orcid":false,"given":"Hao","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Automation, University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2069-9544","authenticated-orcid":false,"given":"Zhen","family":"Kan","sequence":"additional","affiliation":[{"name":"Department of Automation, University of Science and Technology of China, Hefei, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263687"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3181948"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3130794"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980479"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref22","first-page":"53","article-title":"Fast LTL to Büchi automata translation","author":"gastin","year":"0","journal-title":"Proc Int Conf Comput Aided Verif"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref21","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PACET48583.2019.8956244"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3390\/s16071018"},{"key":"ref17","article-title":"Robust multi-agent coordination from CaTL+ specifications","author":"liu","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3143304"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/70.508439"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3138704"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3138766"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49997.2022.9926658"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21439"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref5","article-title":"Time minimization and online synchronization for multi-agent systems under collaborative temporal tasks","author":"liu","year":"2022"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7083369\/10153452\/10168225.pdf?arnumber=10168225","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T17:43:19Z","timestamp":1690825399000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10168225\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":22,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/lra.2023.3290531","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"value":"2377-3766","type":"electronic"},{"value":"2377-3774","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]}}}