{"id":"https://openalex.org/W4412164746","doi":"https://doi.org/10.1109/lcsys.2025.3587276","title":"A Value Function Space Approach for Hierarchical Planning With Signal Temporal Logic Tasks","display_name":"A Value Function Space Approach for Hierarchical Planning With Signal Temporal Logic Tasks","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412164746","doi":"https://doi.org/10.1109/lcsys.2025.3587276"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2025.3587276","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3587276","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Control Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054107073","display_name":"P. Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Peiran Liu","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0004-1363-5897","affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103560506","display_name":"Yucong He","orcid":null},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Yiting He","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0001-4345-7620","affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084401185","display_name":"Yihao Qin","orcid":"https://orcid.org/0000-0003-3257-2524"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Yihao Qin","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-3257-2524","affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101192383","display_name":"Hang Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Hang Zhou","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0009-0007-8848-8838","affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5084543188","display_name":"Yiding Ji","orcid":"https://orcid.org/0000-0003-2678-7051"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]},{"id":"https://openalex.org/I90610280","display_name":"South China University of Technology","ror":"https://ror.org/0530pts50","country_code":"CN","type":"education","lineage":["https://openalex.org/I90610280"]}],"countries":["CN","HK"],"is_corresponding":false,"raw_author_name":"Yiding Ji","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"raw_orcid":"https://orcid.org/0000-0003-2678-7051","affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Systems Hub, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280","https://openalex.org/I889458895"]},{"raw_affiliation_string":"Systems Hub, Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I90610280"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16947316,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":null,"first_page":"1988","last_page":"1993"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5717593431472778},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.563228964805603},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5557312369346619},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5138018727302551},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5079858899116516},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.10022687911987305},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09903737902641296}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5717593431472778},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.563228964805603},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5557312369346619},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5138018727302551},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5079858899116516},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.10022687911987305},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09903737902641296},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2025.3587276","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3587276","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-158131","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-158131","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Sustainable cities and communities","score":0.44999998807907104,"id":"https://metadata.un.org/sdg/11"}],"awards":[{"id":"https://openalex.org/G2836901605","display_name":null,"funder_award_id":"62303389","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4941439742","display_name":null,"funder_award_id":"62373289","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W828139470","https://openalex.org/W2467005784","https://openalex.org/W2594675090","https://openalex.org/W2802329608","https://openalex.org/W2995074243","https://openalex.org/W3010924044","https://openalex.org/W3046650501","https://openalex.org/W3214188292","https://openalex.org/W4210600503","https://openalex.org/W4229029576","https://openalex.org/W4379382417","https://openalex.org/W4382318055","https://openalex.org/W4386177929","https://openalex.org/W4386737220","https://openalex.org/W4396712964","https://openalex.org/W4401413822","https://openalex.org/W4408285603","https://openalex.org/W4408970585","https://openalex.org/W4409918048","https://openalex.org/W6790681260","https://openalex.org/W6790722625","https://openalex.org/W6849915793","https://openalex.org/W6873609396"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Signal":[0],"Temporal":[1],"Logic":[2],"(STL)":[3],"has":[4],"emerged":[5],"as":[6],"an":[7],"expressive":[8],"language":[9],"for":[10,51],"reasoning":[11],"intricate":[12],"planning":[13,40],"objectives.":[14],"However,":[15],"existing":[16],"STL-based":[17],"methods":[18],"often":[19],"assume":[20],"full":[21],"observation":[22],"and":[23,53,79,117],"known":[24],"dynamics,":[25],"which":[26,56],"imposes":[27],"constraints":[28],"on":[29],"real-world":[30],"applications.":[31],"To":[32],"address":[33],"this":[34],"challenge,":[35],"we":[36,67],"propose":[37],"a":[38,69],"hierarchical":[39],"framework":[41],"that":[42,89,121],"starts":[43],"by":[44],"constructing":[45],"the":[46,63,74,77,91,95,100,108,114,125,132,137],"Value":[47],"Function":[48],"Space":[49],"(VFS)":[50],"state":[52],"action":[54],"abstraction,":[55],"embeds":[57],"functional":[58],"information":[59],"about":[60],"affordances":[61],"of":[62,94],"low-level":[64,109,133],"skills.":[65],"Subsequently,":[66],"utilize":[68],"neural":[70],"network":[71],"to":[72,84],"approximate":[73],"dynamics":[75],"in":[76,99,107,113,131],"VFS":[78],"employ":[80],"sampling":[81],"based":[82],"optimization":[83],"synthesize":[85],"high-level":[86],"skill":[87],"sequences":[88],"maximize":[90],"robustness":[92],"measure":[93],"given":[96],"STL":[97,126],"tasks":[98,127],"VFS.":[101],"Then":[102],"those":[103],"skills":[104],"are":[105],"executed":[106],"environment.":[110],"Empirical":[111],"evaluations":[112],"Safety":[115],"Gym":[116],"ManiSkill":[118],"environments":[119],"demonstrate":[120],"our":[122],"method":[123],"accomplish":[124],"without":[128],"further":[129],"training":[130,138],"environments,":[134],"substantially":[135],"reducing":[136],"burdens.":[139]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}