/ltl-zero-shot

[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas

Primary LanguagePythonGNU General Public License v3.0GPL-3.0

Stargazers