Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas.

Yen-Ling Kuo, Boris Katz, Andrei Barbu

Browse the full IROS paper archive.