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