JOURNAL ARTICLE

Parallel decomposition and concurrent satisfaction for heterogeneous multi-robot task and motion planning under temporal logic specifications

Huanfei ZhengYue Wang

Year: 2021 Journal:   Discrete Event Dynamic Systems Vol: 32 (2)Pages: 195-230   Publisher: Springer Science+Business Media
Keywords:
Task (project management) Robot Computer science Automaton Finite-state machine Decomposition Linear temporal logic Set (abstract data type) Motion planning Scalability Timed automaton Plan (archaeology) Distributed computing Theoretical computer science Artificial intelligence Algorithm Programming language Engineering Database

Metrics

3
Cited By
0.16
FWCI (Field Weighted Citation Impact)
35
Refs
0.54
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Modular Robots and Swarm Intelligence
Physical Sciences →  Engineering →  Mechanical Engineering
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
© 2026 ScienceGate Book Chapters — All rights reserved.