{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T16:12:39Z","timestamp":1770739959067,"version":"3.49.0"},"reference-count":36,"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\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U25A20473"],"award-info":[{"award-number":["U25A20473"]}],"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":["62173314"],"award-info":[{"award-number":["62173314"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/tase.2026.3659055","type":"journal-article","created":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T21:01:46Z","timestamp":1769634106000},"page":"2925-2940","source":"Crossref","is-referenced-by-count":0,"title":["Environment-Driven and LLM-Guided Multi-Robot Task Inference and Allocation Under Temporal Logic Specifications"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-5388-6212","authenticated-orcid":false,"given":"Lin","family":"Li","sequence":"first","affiliation":[{"name":"Department of Automation, University of Science and Technology of China, Hefei, Anhui, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6540-8451","authenticated-orcid":false,"given":"Ziyang","family":"Chen","sequence":"additional","affiliation":[{"name":"Department of Automation, University of Science and Technology of China, Hefei, Anhui, China"}]},{"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, Anhui, China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2024.3379166"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.3008702"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2022.3211873"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-00065-7_28"},{"key":"ref5","first-page":"706","article-title":"A persistent spatial semantic representation for high-level natural language instruction execution","volume-title":"Proc. Conf. Robot Learn.","author":"Blukis"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-023-10131-7"},{"key":"ref7","first-page":"492","article-title":"LM-Nav: Robotic navigation with large pre-trained models of language, vision, and action","volume-title":"Proc. Conf. Robot Learn.","author":"Shah"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2024.3524426"},{"key":"ref9","article-title":"Translating natural language to planning goals with large-language models","author":"Xie","year":"2023","journal-title":"arXiv:2302.05128"},{"key":"ref10","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2023.3298195"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3061983"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2628389"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3181948"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2024.3418409"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3290531"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2025.3558977"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2025.3598139"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.067"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197068"},{"key":"ref22","first-page":"1706","article-title":"Learning a natural-language to LTL executable semantic parser for grounded robotics","volume-title":"Proc. Conf. Robot Learn.","author":"Wang"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161125"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.emnlp-main.985"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2025.3598648"},{"key":"ref26","article-title":"Lang2LTL: Translating natural language commands to temporal specification with large language models","volume-title":"Proc. Workshop Lang. Robot. CoRL","author":"Liu"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611086"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3130794"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1177\/02783649241278372"},{"key":"ref31","article-title":"GPT-4 technical report","author":"Achiam","year":"2023","journal-title":"arXiv:2303.08774"},{"key":"ref32","volume-title":"Meet Claude"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3560815"},{"key":"ref34","article-title":"LLaMA: Open and efficient foundation language models","author":"Touvron","year":"2023","journal-title":"arXiv:2302.13971"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_18"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1162\/COLI.a.16"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/8856\/11323516\/11366912.pdf?arnumber=11366912","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,9]],"date-time":"2026-02-09T21:11:06Z","timestamp":1770671466000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11366912\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/tase.2026.3659055","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}