{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T15:00:10Z","timestamp":1777042810510,"version":"3.51.4"},"reference-count":35,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11127952","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"10201-10207","source":"Crossref","is-referenced-by-count":2,"title":["HULK: Large-Scale Hierarchical Coordination Under Continual and Uncertain Temporal Tasks"],"prefix":"10.1109","author":[{"given":"Qingyuan","family":"Luo","sequence":"first","affiliation":[{"name":"Peking University,Department of Mechanics and Engineering Science, College of Engineering,Beijing,China,100871"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Li","sequence":"additional","affiliation":[{"name":"National University of Defense Technology,Hunan,China,410073"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meng","family":"Guo","sequence":"additional","affiliation":[{"name":"Peking University,Department of Mechanics and Engineering Science, College of Engineering,Beijing,China,100871"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.806024"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718515.ch1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2015.XI.042"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2008.4543409"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2017.xiii.074"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3128584"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v31i1.11145"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-18299-5_2"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v29i1.9440"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(94)90204-6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TWC.2017.2690419"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-005-0644-x"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2015.2438032"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v23i1.13551"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/b978-1-55860-872-6.x5016-1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2011.2172150"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918774135"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/tro.2022.3181948"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-95459-8_14"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.04.006"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2019.2957669"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2628389"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_24"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00024"},{"key":"ref27","article-title":"Specification decomposition and formal behavior generation in multi-robot systems","volume-title":"Ph.D. dissertation, KTH Royal Institute of Technology","author":"Schillinger","year":"2019"},{"key":"ref28","volume-title":"Principles of model checking.","author":"Baier","year":"2008"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2023.111377"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1142\/S0219198909002352"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3334560"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.34133\/research.0337"},{"key":"ref33","volume-title":"G. L. O. Solver"},{"key":"ref34","first-page":"1","article-title":"Evaluating the efficiency of frontier-based exploration strategies","volume-title":"International Symposium on Robotics.","author":"Holz"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3142923"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","location":"Atlanta, GA, USA","start":{"date-parts":[[2025,5,19]]},"end":{"date-parts":[[2025,5,23]]}},"container-title":["2025 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11127273\/11127223\/11127952.pdf?arnumber=11127952","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:25:51Z","timestamp":1756880751000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11127952\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11127952","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}