{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T07:15:57Z","timestamp":1766128557703,"version":"3.48.0"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T00:00:00Z","timestamp":1769904000000},"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":["62522305"],"award-info":[{"award-number":["62522305"]}],"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":["62473039"],"award-info":[{"award-number":["62473039"]}],"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":["62473041"],"award-info":[{"award-number":["62473041"]}],"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":[[2026,2]]},"DOI":"10.1109\/lra.2025.3641092","type":"journal-article","created":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T18:42:20Z","timestamp":1765219340000},"page":"1074-1081","source":"Crossref","is-referenced-by-count":0,"title":["Multi-Agent Collaboration for PrSTL Specifications With Temporal Collective Counting Operators"],"prefix":"10.1109","volume":"11","author":[{"given":"Yicheng","family":"Quan","sequence":"first","affiliation":[{"name":"School of Aerospace Engineering, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8785-2692","authenticated-orcid":false,"given":"Yan","family":"Yang","sequence":"additional","affiliation":[{"name":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9522-4178","authenticated-orcid":false,"given":"Zhijie","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Intelligence Science and Technology, University of Science and Technology Beijing, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8592-0372","authenticated-orcid":false,"given":"Zhongjiao","family":"Shi","sequence":"additional","affiliation":[{"name":"School of Aerospace Engineering, Beijing Institute of Technology, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2024.100940"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3130794"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2025.3558977"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1177\/02783649241278372"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2025.3555949"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2017970"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2176429"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793521"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2024.112038"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2880651"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3323472"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.2998543"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10160973"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3120681"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3057049"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3763237"},{"article-title":"Provably correct automata embeddings for optimal automata-conditioned reinforcement learning","year":"2025","author":"Yalcinkaya","key":"ref19"},{"article-title":"Reward machines for cooperative multi-agent reinforcement learning","year":"2020","author":"Neary","key":"ref20"},{"article-title":"Learning symbolic task decompositions for multi-agent teams","year":"2025","author":"Shah","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/15136.001.0001"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3520-2"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2023.100905"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039819"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402590"},{"volume-title":"Stability Analysis and Control of Stochastic Dynamic Systems Using Polynomial Chaos","year":"2008","author":"Fisher","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-006-9084-x"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"}],"container-title":["IEEE Robotics and Automation Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7083369\/11293803\/11282489.pdf?arnumber=11282489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T07:12:38Z","timestamp":1766128358000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11282489\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2]]},"references-count":29,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/lra.2025.3641092","relation":{},"ISSN":["2377-3766","2377-3774"],"issn-type":[{"type":"electronic","value":"2377-3766"},{"type":"electronic","value":"2377-3774"}],"subject":[],"published":{"date-parts":[[2026,2]]}}}