Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
From MaRDI portal
Publication:6537337
DOI10.1016/J.AUTOMATICA.2023.111377zbMATH Open1539.93012MaRDI QIDQ6537337FDOQ6537337
Authors: Zesen Liu, Meng Guo, Zhongkui Li 
Publication date: 14 May 2024
Published in: Automatica (Search for Journal in Brave)
Recommendations
- Multi-agent planning under local LTL specifications and event-based synchronization
- On the timed temporal logic planning of coupled multi-agent systems
- Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications
- Multi-agent system motion planning under temporal logic specifications and control barrier function
Automated systems (robots, etc.) in control theory (93C85) Temporal logic (03B44) Multi-agent systems (93A16)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multi-agent planning under local LTL specifications and event-based synchronization
- Title not available (Why is that?)
- Automated verification and synthesis of stochastic hybrid systems: a survey
- Branch-and-bound algorithms: a survey of recent advances in searching, branching, and pruning
- Formal methods for discrete-time dynamical systems
- Mathematical tools for data mining. Set theory, partial orders, combinatorics
This page was built for publication: Time minimization and online synchronization for multi-agent systems under collaborative temporal logic tasks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6537337)
