Integrating Symbolic Planning and Reinforcement Learning for Following Temporal Logic Specifications | IEEE Conference Publication | IEEE Xplore