ylkuo / ltl-zero-shot

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

Alternatives and similar repositories for ltl-zero-shot:

Users that are interested in ltl-zero-shot are comparing it to the libraries listed below