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 ...
Abstract: The challenge of maneuvering target tracking lies in the difficulty of handling the uncertainty of target motion types and the uncertainty of maneuvering parameters simultaneously. In this ...