{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T16:38:55Z","timestamp":1757608735755,"version":"3.44.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,19]],"date-time":"2025-05-19T00:00:00Z","timestamp":1747612800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,19]]},"DOI":"10.1109\/icra55743.2025.11127554","type":"proceedings-article","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T17:28:56Z","timestamp":1756834136000},"page":"10194-10200","source":"Crossref","is-referenced-by-count":1,"title":["Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic"],"prefix":"10.1109","author":[{"given":"Davide","family":"Peron","sequence":"first","affiliation":[{"name":"University of Padova,Department of Information Engineering,Padova,Italy"}]},{"given":"Victor Nan","family":"Fernandez-Ayala","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden"}]},{"given":"Eleftherios E.","family":"Vlahakis","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"KTH Royal Institute of Technology,Division of Decision and Control Systems, School of Electrical Engineering and Computer Science,Stockholm,Sweden"}]}],"member":"263","reference":[{"volume-title":"A multi-agent system for autonomous mobile robot coordination","year":"2020","author":"Palanca","key":"ref1"},{"issue":"1","key":"ref2","first-page":"95","article-title":"Agricultural collaborative robots for smart farming","volume":"13","author":"Xie","year":"2023","journal-title":"Agriculture"},{"key":"ref3","article-title":"Methods for Discrete-Time Dynamical Systems","volume":"89","author":"Belta","year":"2017","journal-title":"Springer Cham"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3181948"},{"key":"ref5","article-title":"Principles of Model Checking","volume":"26202649","author":"Baier","year":"2008","journal-title":"MIT Press"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/cdc.2018.8618922"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981759"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039362"},{"key":"ref10","doi-asserted-by":"crossref","DOI":"10.15607\/RSS.2021.XVII.090","article-title":"Semantic abstraction-guided motion planning for scltl missions in unknown environments","volume-title":"Robotics: Science and Systems XVII","author":"Grover","year":"2021"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3130794"},{"key":"ref12","doi-asserted-by":"crossref","first-page":"111377","DOI":"10.1016\/j.automatica.2023.111377","article-title":"Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks","volume":"159","author":"Liu","year":"2024","journal-title":"Automatica"},{"issue":"2","key":"ref13","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/TASE.2016.2628389","article-title":"Task and motion coordination for heterogeneous multiagent systems with loosely coupled local tasks","volume":"14","author":"Guo","year":"2017","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/9781119606475"},{"volume-title":"Ros2 - robot operating system 2","key":"ref16"},{"volume-title":"multi_robot_coordination_recurring_ltl","author":"Peron","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8928-6_23"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551648"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"volume-title":"european Commission under the H2020 Framework Programme","key":"ref22","article-title":"A Collaborative Paradigm for Human Workers and Multi-Robot Teams in Precision Agriculture Systems"},{"volume-title":"Robotis turtlebot3 burger rpi4","key":"ref23"},{"volume-title":"mobile omni-directional base with arm and gripper","key":"ref24","article-title":"Hebi \u201crosie"},{"volume-title":"Eclipse cyclonedds","key":"ref25"},{"key":"ref26","article-title":"Model Predictive Control: Theory, Computation, and Design","author":"Rawlings","year":"2017","journal-title":"Nob Hill Publishing"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/cdc40024.2019.9029886"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2016.2638961"},{"volume-title":"Qualisys motion capture","key":"ref29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/mra.2006.250573"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/mra.2007.339609"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1109\/ICRA55743.2025.11127554","article-title":"Efficient coordination and synchronization of multi-robot systems under recurring linear temporal logic","volume-title":"Youtube","author":"Peron"}],"event":{"name":"2025 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2025,5,19]]},"location":"Atlanta, GA, USA","end":{"date-parts":[[2025,5,23]]}},"container-title":["2025 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11127273\/11127223\/11127554.pdf?arnumber=11127554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T06:29:26Z","timestamp":1756880966000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11127554\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,19]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icra55743.2025.11127554","relation":{},"subject":[],"published":{"date-parts":[[2025,5,19]]}}}