{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T18:55:30Z","timestamp":1772823330538,"version":"3.50.1"},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":["62303389"],"award-info":[{"award-number":["62303389"]}],"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":["62373289"],"award-info":[{"award-number":["62373289"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Guangdong Basic and Applied Basic Research Funding","award":["2022A151511076"],"award-info":[{"award-number":["2022A151511076"]}]},{"name":"Guangdong Basic and Applied Basic Research Funding","award":["2024A1515012586"],"award-info":[{"award-number":["2024A1515012586"]}]},{"name":"Guangdong Scientific Research Platform and Project Scheme","award":["2024KTSCX039"],"award-info":[{"award-number":["2024KTSCX039"]}]},{"name":"Guangzhou-HKUST(GZ) Joint Funding Program","award":["2024A03J0618"],"award-info":[{"award-number":["2024A03J0618"]}]},{"name":"Guangzhou-HKUST(GZ) Joint Funding Program","award":["2024A03J0680"],"award-info":[{"award-number":["2024A03J0680"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Control Syst. Lett."],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/lcsys.2025.3587276","type":"journal-article","created":{"date-parts":[[2025,7,9]],"date-time":"2025-07-09T23:21:37Z","timestamp":1752103297000},"page":"1988-1993","source":"Crossref","is-referenced-by-count":1,"title":["A Value Function Space Approach for Hierarchical Planning With Signal Temporal Logic Tasks"],"prefix":"10.1109","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-1363-5897","authenticated-orcid":false,"given":"Peiran","family":"Liu","sequence":"first","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-4345-7620","authenticated-orcid":false,"given":"Yiting","family":"He","sequence":"additional","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3257-2524","authenticated-orcid":false,"given":"Yihao","family":"Qin","sequence":"additional","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8848-8838","authenticated-orcid":false,"given":"Hang","family":"Zhou","sequence":"additional","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2678-7051","authenticated-orcid":false,"given":"Yiding","family":"Ji","sequence":"additional","affiliation":[{"name":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aay6276"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3283055"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2025.3549288"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2018.2832544"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3304842"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/15136.001.0001"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3172857"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2025.3555949"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/02783649221082115"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v37i12.26764"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3397844"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610510"},{"key":"ref16","first-page":"10497","article-title":"LTL2Action: Generalizing LTL instructions for multi-task RL","volume-title":"Proc. 38th Int. Conf. Mach. Learn.","author":"Vaezipoor"},{"key":"ref17","first-page":"72933","article-title":"Compositional automata embeddings for goal-conditioned reinforcement learning","volume-title":"Proc. 38th Adv. Neural Inf. Process. Syst.","author":"Yalcinkaya"},{"key":"ref18","first-page":"307","article-title":"The logical options framework","volume-title":"Proc. 38th Int. Conf. Mach. Learn.","author":"Araki"},{"key":"ref19","first-page":"1","article-title":"Value function spaces: Skill-centric state abstractions for long-horizon reasoning","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Toshev"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"ref21","volume-title":"A Course in Reinforcement Learning","author":"Bertsekas","year":"2025"},{"key":"ref22","first-page":"1","article-title":"Instructing goal-conditioned reinforcement learning agents with temporal logic objectives","volume-title":"Proc. 37th Adv. Neural Inf. Process. Syst.","author":"Qiu"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_4"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3315536"},{"key":"ref25","first-page":"1","article-title":"ManiSkill2: A unified benchmark for generalizable manipulation skills","volume-title":"Proc. Int. Conf. Learn. Represent.","author":"Gu"}],"container-title":["IEEE Control Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/7782633\/10939047\/11075843.pdf?arnumber=11075843","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,5]],"date-time":"2025-08-05T04:41:23Z","timestamp":1754368883000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11075843\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/lcsys.2025.3587276","relation":{},"ISSN":["2475-1456"],"issn-type":[{"value":"2475-1456","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]}}}