TY - RPRT TI - NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots AU - Ruijia Liu AU - Shaoyuan Li AU - Xiang Yin PY - 2023 UR - https://arxiv.org/abs/2309.14050 ID - 2309.14050 ER -