{"id":"https://openalex.org/W4403675493","doi":"https://doi.org/10.1109/case59546.2024.10711581","title":"Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints","display_name":"Prioritize Team Actions: Multi-Agent Temporal Logic Task Planning with Ordering Constraints","publication_year":2024,"publication_date":"2024-08-28","ids":{"openalex":"https://openalex.org/W4403675493","doi":"https://doi.org/10.1109/case59546.2024.10711581"},"language":"en","primary_location":{"id":"doi:10.1109/case59546.2024.10711581","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case59546.2024.10711581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-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/A5088491425","display_name":"Bowen Ye","orcid":"https://orcid.org/0009-0007-8198-2809"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Bowen Ye","raw_affiliation_strings":["Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113748943","display_name":"Jianing Zhao","orcid":"https://orcid.org/0009-0002-5386-3013"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jianing Zhao","raw_affiliation_strings":["Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110255122","display_name":"Shaoyuan Li","orcid":null},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shaoyuan Li","raw_affiliation_strings":["Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100446849","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0002-6096-9943"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University and the Key Laboratory of System Control and Information Processing, the Ministry of Education of China,Department of Automation,Shanghai,China,200240","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088491425"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16508869,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"2840","last_page":"2845"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9921000003814697,"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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9921000003814697,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9904000163078308,"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.9897000193595886,"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/task","display_name":"Task (project management)","score":0.7179621458053589},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7137231826782227},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5668720006942749},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4987614154815674},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.42001429200172424},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.40188655257225037},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.3763616681098938},{"id":"https://openalex.org/keywords/human\u2013computer-interaction","display_name":"Human\u2013computer interaction","score":0.3734896779060364},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3543015122413635},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1947585940361023},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.18937799334526062},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.13203394412994385}],"concepts":[{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.7179621458053589},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7137231826782227},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5668720006942749},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4987614154815674},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.42001429200172424},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.40188655257225037},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.3763616681098938},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3734896779060364},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3543015122413635},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1947585940361023},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.18937799334526062},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13203394412994385}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/case59546.2024.10711581","is_oa":false,"landing_page_url":"https://doi.org/10.1109/case59546.2024.10711581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.4699999988079071,"display_name":"Climate action"}],"awards":[],"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":28,"referenced_works":["https://openalex.org/W1424654272","https://openalex.org/W2077578897","https://openalex.org/W2089641163","https://openalex.org/W2117927826","https://openalex.org/W2295204826","https://openalex.org/W2765229960","https://openalex.org/W2784743256","https://openalex.org/W2963117388","https://openalex.org/W2994583186","https://openalex.org/W3033621224","https://openalex.org/W3091670144","https://openalex.org/W4210258883","https://openalex.org/W4221021751","https://openalex.org/W4295046640","https://openalex.org/W4360868502","https://openalex.org/W4378901237","https://openalex.org/W4379382417","https://openalex.org/W4379780965","https://openalex.org/W4381681017","https://openalex.org/W4387917921","https://openalex.org/W4387993858","https://openalex.org/W4388918276","https://openalex.org/W4388927380","https://openalex.org/W4389235528","https://openalex.org/W4391021338","https://openalex.org/W4392719125","https://openalex.org/W4393144961","https://openalex.org/W4401416304"],"related_works":["https://openalex.org/W2124110813","https://openalex.org/W2521108391","https://openalex.org/W1532447905","https://openalex.org/W2031188261","https://openalex.org/W2763487042","https://openalex.org/W3021103820","https://openalex.org/W4285022830","https://openalex.org/W4232446061","https://openalex.org/W2077520193","https://openalex.org/W3035590440"],"abstract_inverted_index":{"In":[0],"this":[1,113],"paper,":[2],"we":[3,25,64,82,128],"investigate":[4],"the":[5,18,35,51,59,72,75,86,122,139],"problem":[6],"of":[7,21,37,53,74,118,124,143],"linear":[8],"temporal":[9],"logic":[10],"(LTL)":[11],"path":[12,36,135],"planning":[13,136],"for":[14,34,50,78],"multi-agent":[15],"systems,":[16],"introducing":[17],"new":[19,90],"concept":[20],"ordering":[22,87],"constraints.":[23,88],"Specifically,":[24],"consider":[26],"a":[27,47,68,130],"generic":[28],"objective":[29,43,76],"function":[30,77],"that":[31,120],"is":[32,44],"defined":[33],"each":[38,79],"individual":[39],"agent.":[40],"The":[41],"primary":[42],"to":[45,66,84,111,137],"find":[46],"global":[48],"plan":[49],"team":[52],"agents,":[54],"ensuring":[55],"they":[56],"collectively":[57],"meet":[58],"specified":[60],"LTL":[61],"requirements.":[62],"Simultaneously,":[63],"aim":[65],"maintain":[67],"pre-determined":[69],"order":[70],"in":[71,104,133],"values":[73,103],"agent,":[80],"which":[81],"refer":[83],"as":[85],"This":[89],"requirement":[91],"stems":[92],"from":[93],"scenarios":[94],"like":[95],"security-aware":[96,134],"planning,":[97],"where":[98],"relative":[99],"orders":[100],"outweigh":[101],"absolute":[102],"importance.":[105],"We":[106],"present":[107],"an":[108],"efficient":[109],"algorithm":[110],"solve":[112],"problem,":[114],"supported":[115],"by":[116],"proofs":[117],"correctness":[119],"demonstrate":[121],"optimality":[123],"our":[125,144],"solution.":[126],"Additionally,":[127],"provide":[129],"case":[131],"study":[132],"illustrate":[138],"practicality":[140],"and":[141],"effectiveness":[142],"proposed":[145],"approach.":[146]},"counts_by_year":[],"updated_date":"2025-12-27T23:08:20.325037","created_date":"2025-10-10T00:00:00"}