NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots

Ruijia Liu,Shaoyuan Li,Xiang Yin,Ruijia Liu,Shaoyuan Li,Xiang Yin

In this work, we investigate task planning for mobile robots under linear temporal logic (LTL) specifications. This problem is particularly challenging when robots navigate in continuous workspaces due to the high computational complexity involved. Sampling-based methods have emerged as a promising avenue for addressing this challenge by incrementally constructing random trees, thereby sidesteppin...