Energy-Aware Temporal Logic Motion Planning for Mobile Robots | IEEE Conference Publication | IEEE Xplore