Kuo, Y. - L., Katz, B. & Barbu, A. Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas. (2020).