NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots | IEEE Conference Publication | IEEE Xplore