{"id":"https://openalex.org/W4399526604","doi":"https://doi.org/10.1109/lra.2024.3412589","title":"Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications","display_name":"Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications","publication_year":2024,"publication_date":"2024-06-11","ids":{"openalex":"https://openalex.org/W4399526604","doi":"https://doi.org/10.1109/lra.2024.3412589"},"language":"en","primary_location":{"id":"doi:10.1109/lra.2024.3412589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2024.3412589","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"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 Robotics and Automation 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/A5009405571","display_name":"Xusheng Luo","orcid":"https://orcid.org/0000-0003-4342-7234"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xusheng Luo","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4342-7234","affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061227955","display_name":"Shaojun Xu","orcid":"https://orcid.org/0009-0008-4817-468X"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaojun Xu","raw_affiliation_strings":["College of Control Science and Engineering, Zhejiang University, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0008-4817-468X","affiliations":[{"raw_affiliation_string":"College of Control Science and Engineering, Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101507732","display_name":"Ruixuan Liu","orcid":"https://orcid.org/0000-0001-6249-5473"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruixuan Liu","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0001-6249-5473","affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040156274","display_name":"Changliu Liu","orcid":"https://orcid.org/0000-0002-3767-5517"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Changliu Liu","raw_affiliation_strings":["Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-3767-5517","affiliations":[{"raw_affiliation_string":"Robotics Institute, Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2495,"currency":"USD","value_usd":2495},"apc_paid":null,"fwci":4.3528,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.95177684,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"9","issue":"8","first_page":"7182","last_page":"7189"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9922000169754028,"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.9922000169754028,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9872000217437744,"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/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9847999811172485,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/decomposition","display_name":"Decomposition","score":0.8201895952224731},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.7088227272033691},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6441800594329834},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5831973552703857},{"id":"https://openalex.org/keywords/hierarchical-database-model","display_name":"Hierarchical database model","score":0.5126616358757019},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5093783140182495},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.38580551743507385},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3451339602470398},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.17695879936218262},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.12987589836120605},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.10382905602455139}],"concepts":[{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.8201895952224731},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7088227272033691},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6441800594329834},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5831973552703857},{"id":"https://openalex.org/C144986985","wikidata":"https://www.wikidata.org/wiki/Q871236","display_name":"Hierarchical database model","level":2,"score":0.5126616358757019},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5093783140182495},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.38580551743507385},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3451339602470398},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.17695879936218262},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.12987589836120605},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.10382905602455139},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lra.2024.3412589","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lra.2024.3412589","pdf_url":null,"source":{"id":"https://openalex.org/S4210169774","display_name":"IEEE Robotics and Automation Letters","issn_l":"2377-3766","issn":["2377-3766","2377-3774"],"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 Robotics and Automation Letters","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.5199999809265137}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306185","display_name":"Richard King Mellon Foundation","ror":"https://ror.org/03qevzg44"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1540883472","https://openalex.org/W1552111937","https://openalex.org/W1563854815","https://openalex.org/W2023808162","https://openalex.org/W2077578897","https://openalex.org/W2089003125","https://openalex.org/W2117927826","https://openalex.org/W2123713131","https://openalex.org/W2124623089","https://openalex.org/W2343223723","https://openalex.org/W2554009248","https://openalex.org/W2784322399","https://openalex.org/W2804655496","https://openalex.org/W2966537673","https://openalex.org/W2998208410","https://openalex.org/W3011955568","https://openalex.org/W3021964239","https://openalex.org/W3119321206","https://openalex.org/W3136316167","https://openalex.org/W3181923028","https://openalex.org/W3205735294","https://openalex.org/W4205533104","https://openalex.org/W4379165207","https://openalex.org/W4382568173","https://openalex.org/W4382935854","https://openalex.org/W4387993858","https://openalex.org/W4399526604"],"related_works":["https://openalex.org/W8302103","https://openalex.org/W2380059383","https://openalex.org/W4224278052","https://openalex.org/W2063679720","https://openalex.org/W2031856784","https://openalex.org/W2018218513","https://openalex.org/W3171631314","https://openalex.org/W2674584172","https://openalex.org/W2967743314","https://openalex.org/W4392807267"],"abstract_inverted_index":{"Past":[0],"research":[1],"into":[2,116],"robotic":[3],"planning":[4,78],"with":[5,28,94],"temporal":[6,67,96,126],"logic":[7,68],"specifications,":[8,69],"notably":[9],"Linear":[10,143],"Temporal":[11],"Logic":[12],"(LTL),":[13],"was":[14,166],"largely":[15],"based":[16],"on":[17],"a":[18,71,103,117,136,140],"single":[19],"formula":[20],"for":[21],"individual":[22],"or":[23],"groups":[24],"of":[25,47,58,83,119,131,171],"robots.":[26,152],"But":[27],"increasing":[29],"task":[30,137],"complexity,":[31],"LTL":[32,59],"formulas":[33],"unavoidably":[34],"grow":[35],"lengthy,":[36],"complicating":[37],"interpretation":[38],"and":[39,42,173],"specification":[40,112],"generation,":[41],"straining":[43],"the":[44,48,55,76,81,108,125,129,154],"computational":[45],"capacities":[46],"planners.":[49],"A":[50],"recent":[51],"development":[52],"has":[53],"been":[54],"hierarchical":[56,105],"representation":[57],"(Luo":[60],"et":[61],"al.,":[62],"2024)":[63],"that":[64,178],"contains":[65],"multiple":[66],"providing":[70],"more":[72],"interpretable":[73],"framework.":[74,106],"However,":[75],"proposed":[77],"algorithm":[79],"assumes":[80],"independence":[82],"robots":[84],"within":[85],"each":[86,111],"specification,":[87],"limiting":[88],"their":[89],"application":[90],"to":[91,134,147,150,161,169],"multi-robot":[92],"coordination":[93],"complex":[95],"constraints.":[97],"In":[98],"this":[99],"work,":[100],"we":[101],"formulated":[102],"decomposition-based":[104],"At":[107,153],"high":[109],"level,":[110,156],"is":[113,145],"first":[114],"decomposed":[115],"set":[118],"atomic":[120],"sub-tasks.":[121,163],"We":[122],"further":[123],"infer":[124],"relations":[127],"among":[128],"sub-tasks":[130,149],"different":[132],"specifications":[133],"construct":[135],"network.":[138],"Subsequently,":[139],"Mixed":[141],"Integer":[142],"Program":[144],"used":[146],"assign":[148],"various":[151],"lower":[155],"domain-specific":[157],"controllers":[158],"are":[159],"employed":[160],"execute":[162],"Our":[164],"approach":[165,180],"experimentally":[167],"applied":[168],"domains":[170],"navigation":[172],"manipulation.":[174],"The":[175],"simulation":[176],"demonstrated":[177],"our":[179],"can":[181],"find":[182],"better":[183],"solutions":[184],"using":[185],"less":[186],"runtimes.":[187]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":9},{"year":2024,"cited_by_count":2}],"updated_date":"2026-08-28T12:50:07.497085","created_date":"2025-10-10T00:00:00"}