TY  - RPRT
TI  - Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas
AU  - Yen-Ling Kuo
AU  - Boris Katz
AU  - Andrei Barbu
PY  - 2020
UR  - https://arxiv.org/abs/2006.01110
ID  - 2006.01110
ER  -