Kuo, Y. - L., Katz, B. & Barbu, A. Compositional RL Agents That Follow Language Commands in Temporal Logic. Frontiers in Robotics and AI 8, (2021).