-
Purdue University
- tass0sm.github.io
Stars
TL+RL
1 repository
[IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas