arrow
Return

STL-based multi-agent motion planning for multiple tasks with complex logic

delete2025-09-17
delete0
PRE
AI
Z
Zhang Yi
Q
Qiang Shen
W
WU Shufan *
V
Vladimir Yu. Razoumny
Y
Yury N. Razoumny
DOI:10.1016/j.actaastro.2025.09.014delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
• MAMT-STL sharply reduces the complexity of complex task constraints. • Task selection variables eliminate infeasibility risks in saturated scenarios. • Gap-based method simplifies inter-task order constraints for higher efficiency.
Keywords:
Multi-agent system
Signal temporal logic
Task assignment
Trajectory planning
Complex logic

Journal

Acta Astronautica cover
Acta Astronautica
IF:
3.4
Papers:
1.1W
Citations:
2.1W

Organization

S
shanghai jiao tong university
Scholars:
15.5W
Papers: 11.6W
Citations: 159