{"id":"https://openalex.org/W4413926056","doi":"https://doi.org/10.1109/icra55743.2025.11127554","title":"Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic","display_name":"Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic","publication_year":2025,"publication_date":"2025-05-19","ids":{"openalex":"https://openalex.org/W4413926056","doi":"https://doi.org/10.1109/icra55743.2025.11127554"},"language":"en","primary_location":{"id":"doi:10.1109/icra55743.2025.11127554","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra55743.2025.11127554","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://kth.diva-portal.org/smash/get/diva2:2005213/FULLTEXT01","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005546510","display_name":"Davide Peron","orcid":null},"institutions":[{"id":"https://openalex.org/I138689650","display_name":"University of Padua","ror":"https://ror.org/00240q980","country_code":"IT","type":"education","lineage":["https://openalex.org/I138689650"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Davide Peron","raw_affiliation_strings":["University of Padova,Department of Information Engineering,Padova,Italy"],"affiliations":[{"raw_affiliation_string":"University of Padova,Department of Information Engineering,Padova,Italy","institution_ids":["https://openalex.org/I138689650"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092397693","display_name":"Victor Nan Fernandez-Ayala","orcid":"https://orcid.org/0000-0002-1881-1974"},"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":"Victor Nan Fernandez-Ayala","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048763428","display_name":"Eleftherios E. Vlahakis","orcid":"https://orcid.org/0000-0002-7039-5314"},"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":"Eleftherios E. Vlahakis","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055348953","display_name":"Dimos V. Dimarogonas","orcid":"https://orcid.org/0000-0001-7309-8086"},"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":"Dimos V. Dimarogonas","raw_affiliation_strings":["KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden"],"affiliations":[{"raw_affiliation_string":"KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden","institution_ids":["https://openalex.org/I86987016"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5005546510"],"corresponding_institution_ids":["https://openalex.org/I138689650"],"apc_list":null,"apc_paid":null,"fwci":0.7401,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.73021487,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"10194","last_page":"10200"},"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.9822999835014343,"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.9822999835014343,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9787999987602234,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9782000184059143,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.7703573703765869},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.7156029939651489},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6636912822723389},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6177909970283508},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.5603057146072388},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37246978282928467},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.29250335693359375},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.0863456130027771}],"concepts":[{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.7703573703765869},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.7156029939651489},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6636912822723389},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6177909970283508},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.5603057146072388},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37246978282928467},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29250335693359375},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0863456130027771},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icra55743.2025.11127554","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icra55743.2025.11127554","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","raw_type":"proceedings-article"},{"id":"pmh:oai:DiVA.org:kth-371378","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-371378","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:2005213/FULLTEXT01","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-371378","is_oa":true,"landing_page_url":"http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-371378","pdf_url":"https://kth.diva-portal.org/smash/get/diva2:2005213/FULLTEXT01","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":[{"id":"https://openalex.org/G8683756101","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"}],"funders":[{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4413926056.pdf"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1540883472","https://openalex.org/W2061958648","https://openalex.org/W2082991751","https://openalex.org/W2089003125","https://openalex.org/W2111691855","https://openalex.org/W2117927826","https://openalex.org/W2138856440","https://openalex.org/W2560346987","https://openalex.org/W2560504659","https://openalex.org/W2913325211","https://openalex.org/W3012331565","https://openalex.org/W3021964239","https://openalex.org/W3119321206","https://openalex.org/W3176773076","https://openalex.org/W3201690334","https://openalex.org/W4205533104","https://openalex.org/W4241768805","https://openalex.org/W4313016741","https://openalex.org/W4387993858","https://openalex.org/W4413926056"],"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":{"We":[0,81],"consider":[1],"multi-robot":[2,67],"systems":[3],"under":[4],"recurring":[5],"tasks":[6],"formalized":[7],"as":[8],"linear":[9],"temporal":[10],"logic":[11],"(LTL)":[12],"specifications.":[13],"To":[14,38],"solve":[15],"the":[16,109,114],"planning":[17],"problem":[18],"efficiently,":[19],"we":[20,42,99],"propose":[21],"a":[22,44,53,63],"bottomup":[23],"approach":[24],"combining":[25],"offline":[26],"plan":[27],"synthesis":[28],"with":[29,102],"online":[30],"coordination,":[31],"dynamically":[32],"adjusting":[33],"plans":[34],"via":[35],"real-time":[36],"communication.":[37],"address":[39],"action":[40],"delays,":[41],"introduce":[43],"synchronization":[45,57],"mechanism":[46],"ensuring":[47],"coordinated":[48],"task":[49],"execution,":[50],"leading":[51],"to":[52,62,95,104,107],"multi-agent":[54],"coordination":[55],"and":[56,76,113],"framework":[58],"that":[59],"is":[60,72],"adaptable":[61],"wide":[64],"range":[65],"of":[66,117],"applications.":[68],"The":[69],"software":[70],"package":[71],"developed":[73],"in":[74],"Python":[75],"ROS2":[77],"for":[78],"broad":[79],"deployment.":[80],"validate":[82],"our":[83,118],"findings":[84],"through":[85],"lab":[86],"experiments":[87],"involving":[88],"nine":[89],"robots":[90],"showing":[91],"enhanced":[92],"adaptability":[93],"compared":[94],"previous":[96],"methods.":[97],"Additionally,":[98],"conduct":[100],"simulations":[101],"up":[103],"ninety":[105],"agents":[106],"demonstrate":[108],"reduced":[110],"computational":[111],"complexity":[112],"scalability":[115],"features":[116],"work.":[119]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-22T08:09:32.410652","created_date":"2025-10-10T00:00:00"}