GitHub repository: ylkuo/ltl-zero-shot
Primary language: Python
Created: 2020-07-31T18:49:43Z
Description: [IROS2020] Encoding formulas as deep networks: Reinforcement learning for zero-shot execution of LTL formulas