Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks

DOI10.1016/j.automatica.2023.111377zbMath1539.93012MaRDI QIDQ6537337

Zhongkui Li, Meng Guo, Zesen Liu

Publication date: 14 May 2024

Published in: Automatica (Search for Journal in Brave)

zbMATH Keywords

linear temporal logicanytime searchnetworked robotstask coordination

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Temporal logic (03B44) Multi-agent systems (93A16)

This page was built for publication: Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks