Yen-ling Kuo, Boris Katz, Andrei Barbu. Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020, Las Vegas, NV, USA, October 24, 2020 - January 24, 2021. pages 5604-5610, IEEE, 2020. [doi]
Abstract is missing.