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

1 Jun 2020Yen-Ling KuoBoris KatzAndrei Barbu

We demonstrate a reinforcement learning agent which uses a compositional recurrent neural network that takes as input an LTL formula and determines satisfying actions. The input LTL formulas have never been seen before, yet the network performs zero-shot generalization to satisfy them... (read more)

PDF Abstract

# Code Add Remove

No code implementations yet. Submit your code now