Abstract: This paper proposes a path planning framework grounded in linear temporal logic (LTL), designed to realize the multi-agent path planning in the lunar base construction task. To address the ...