Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
type: Item
instance of: scholarly article
title: Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
zbMATH Open document ID: 1539.93012
author: Zesen Liu
author: Meng Guo
author: Zhongkui Li
published in: Automatica
publication date: 2024-05-14T00:00:00Z
Mathematics Subject Classification ID: 93A16
Mathematics Subject Classification ID: 93C85
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 7847063
zbMATH Keywords: networked robots
zbMATH Keywords: linear temporal logic
zbMATH Keywords: task coordination
zbMATH Keywords: anytime search
MaRDI profile type: Publication
cites work: Q5322945
cites work: Formal methods for discrete-time dynamical systems
cites work: Q4551134
cites work: Automated verification and synthesis of stochastic hybrid systems: a survey
cites work: Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning
cites work: Mathematical tools for data mining. Set theory, partial orders, combinatorics
cites work: Q4532223
cites work: Multi-agent planning under local LTL specifications and event-based synchronization
DOI: 10.1016/J.AUTOMATICA.2023.111377
description: scientific article; zbMATH DE number 7847063