Instructing Goal-Conditioned Reinforcement Learning Agents with Temporal Logic Objectives | Read Paper on Bytez