Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
基于循环线性时序逻辑的多机器人系统高效协调与同步
机构 * Department of Information Engineering, University of Padova（帕多瓦大学信息工程系） ； Division of Decision and Control Systems, School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology（皇家理工学院电气工程与计算机科学学院决策与控制系统系）
AI总结 提出一种结合离线计划综合与在线协调的底层方法，通过实时通信动态调整计划，并引入同步机制处理动作延迟，实现多机器人系统的可扩展协调与同步框架。
Comments Submitted for publication at IEEE ICRA 2025
Journal ref Proc. IEEE ICRA, 2025, pp. 10194-10200
