ScienceGate Book Chapters
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
DOI: 10.1007/s10626-021-00355-z
   Get Full-Text PDF    Get Analytical Report
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

Related Documents

JOURNAL ARTICLE

Multi-Robot Task Planning under Individual and Collaborative Temporal Logic Specifications

Ruofei BaiRonghao ZhengMeiqin LiuSenlin Zhang

Journal:   2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) Year: 2021 Pages: 6382-6389
JOURNAL ARTICLE

Reactive Task and Motion Planning under Temporal Logic Specifications

Shen LiDaehyung ParkYoonchang SungJulie ShahNicholas Roy

Year: 2021 Pages: 12618-12624
JOURNAL ARTICLE

A framework for multi-robot motion planning from temporal logic specifications

T. John KooRongqing LiMichael Melholt QuottrupCharles A. CliftonRoozbeh Izadi‐ZamanabadiThomas Bak

Journal:   Science China Information Sciences Year: 2012 Vol: 55 (7)Pages: 1675-1692
JOURNAL ARTICLE

MAPS 2 : Multi-robot autonomous motion planning under signal temporal logic specifications

Mayank SewliaChristos K. VerginisDimos V. Dimarogonas

Journal:   The International Journal of Robotics Research Year: 2025
JOURNAL ARTICLE

Decomposition-Based Hierarchical Task Allocation and Planning for Multi-Robots Under Hierarchical Temporal Logic Specifications

Xusheng LuoShaojun XuRuixuan LiuChangliu Liu

Journal:   IEEE Robotics and Automation Letters Year: 2024 Vol: 9 (8)Pages: 7182-7189
© 2026 ScienceGate Book Chapters — All rights reserved.