{"id":"https://openalex.org/W4385236040","doi":"https://doi.org/10.1109/med59994.2023.10185907","title":"Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints","display_name":"Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints","publication_year":2023,"publication_date":"2023-06-26","ids":{"openalex":"https://openalex.org/W4385236040","doi":"https://doi.org/10.1109/med59994.2023.10185907"},"language":"en","primary_location":{"id":"doi:10.1109/med59994.2023.10185907","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med59994.2023.10185907","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 31st Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-319658","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100776069","display_name":"Wei Wang","orcid":"https://orcid.org/0000-0002-3421-3835"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Wei Wang","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Robotics, Perception and Learning,Stockholm,Sweden","Division of Robotics, Perception and Learning, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Robotics, Perception and Learning,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Division of Robotics, Perception and Learning, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086019911","display_name":"Georg Friedrich Schuppe","orcid":"https://orcid.org/0000-0003-3512-2326"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Georg Friedrich Schuppe","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Robotics, Perception and Learning,Stockholm,Sweden","Division of Robotics, Perception and Learning, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Robotics, Perception and Learning,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Division of Robotics, Perception and Learning, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042698317","display_name":"Jana T\u016fmov\u00e1","orcid":"https://orcid.org/0000-0003-4173-2593"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jana Tumova","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Robotics, Perception and Learning,Stockholm,Sweden","Division of Robotics, Perception and Learning, KTH Royal Institute of Technology, Stockholm, Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Robotics, Perception and Learning,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"Division of Robotics, Perception and Learning, KTH Royal Institute of Technology, Stockholm, Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5100776069"],"corresponding_institution_ids":["https://openalex.org/I86987016"],"apc_list":null,"apc_paid":null,"fwci":0.3877,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.55222882,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"842","last_page":"849"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10249","display_name":"Distributed Control Multi-Agent Systems","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9975000023841858,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6155197024345398},{"id":"https://openalex.org/keywords/multi-agent-system","display_name":"Multi-agent system","score":0.42766398191452026},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41078996658325195},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12382179498672485}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6155197024345398},{"id":"https://openalex.org/C41550386","wikidata":"https://www.wikidata.org/wiki/Q529909","display_name":"Multi-agent system","level":2,"score":0.42766398191452026},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41078996658325195},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12382179498672485}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/med59994.2023.10185907","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med59994.2023.10185907","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 31st Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-319658","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-319658","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:DiVA.org:kth-319658","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-319658","pdf_url":null,"source":{"id":"https://openalex.org/S4306401559","display_name":"KTH Publication Database DiVA (KTH Royal Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320316851","display_name":"KT","ror":"https://ror.org/043n4tt17"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1962072139","https://openalex.org/W1970269621","https://openalex.org/W2021702776","https://openalex.org/W2077245982","https://openalex.org/W2101508170","https://openalex.org/W2171941468","https://openalex.org/W2554009248","https://openalex.org/W2781896226","https://openalex.org/W2791687599","https://openalex.org/W2892258706","https://openalex.org/W2906764419","https://openalex.org/W2913190903","https://openalex.org/W2958112174","https://openalex.org/W2964257036","https://openalex.org/W2994639217","https://openalex.org/W2997105835","https://openalex.org/W2998208410","https://openalex.org/W3020363938","https://openalex.org/W3039375790","https://openalex.org/W3046564014","https://openalex.org/W3103635569","https://openalex.org/W3181923028","https://openalex.org/W4200267975","https://openalex.org/W4287363716"],"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":{"We":[0,90],"propose":[1,91],"a":[2,31],"decentralized":[3],"solution":[4,171],"for":[5,68,118],"high-level":[6],"multi-agent":[7],"task":[8,60,110],"planning":[9],"problems":[10],"in":[11,48],"environments":[12],"considering":[13],"communication":[14,71,180],"network":[15,181],"failure.":[16],"In":[17],"particular,":[18],"we":[19,73],"consider":[20],"that":[21,99,112],"robots":[22,86,126,132],"can":[23,172],"only":[24],"sense":[25],"each":[26,96],"other":[27],"and":[28,114,145,190,192],"communicate":[29],"within":[30],"limited":[32],"radius,":[33],"yet,":[34],"they":[35],"may":[36],"need":[37],"to":[38,40,57,80,94,102,127,137,175],"collaborate":[39],"accomplish":[41],"their":[42],"tasks.":[43,89],"These":[44],"tasks":[45,161],"are":[46,167],"given":[47],"Metric":[49],"Interval":[50],"Temporal":[51],"Logic":[52],"(MITL),":[53],"which":[54],"is":[55,100,154,162,184],"capable":[56],"capture":[58],"complex":[59],"specifications":[61],"involving":[62],"explicit":[63],"time":[64],"constraints.":[65],"To":[66],"substitute":[67],"the":[69,84,103,142,146,150,157,179],"lacking":[70],"networks,":[72],"deploy":[74],"an":[75,92,108,115],"agile":[76,121],"robot":[77,106,113,122],"(e.g.,":[78],"drones)":[79],"transfer":[81],"information":[82],"between":[83],"heavy-duty":[85,105,125,131],"while":[87],"executing":[88],"algorithm":[93],"decompose":[95],"MITL":[97],"formula":[98],"assigned":[101],"corresponding":[104],"into":[107],"independent":[109,116,143],"of":[111,159],"request":[117],"others.":[119],"The":[120,130,169],"systematically":[123],"pursues":[124],"exchange":[128],"requests.":[129,148],"use":[133],"formal":[134],"methods-based":[135],"algorithms":[136],"compute":[138],"path":[139],"plans":[140,166],"satisfying":[141],"promises":[144],"received":[147],"While":[149],"robots\u2019":[151],"plan":[152],"computation":[153],"fully":[155],"decentralized,":[156],"satisfaction":[158],"all":[160],"guaranteed":[163],"(if":[164],"such":[165,186],"found).":[168],"proposed":[170],"be":[173],"applied":[174],"practical":[176],"applications":[177],"where":[178],"fails":[182],"or":[183],"restricted,":[185],"as":[187],"post-catastrophe":[188],"search":[189],"rescue":[191],"wildlife":[193],"surveillance.":[194]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}