Automata Guided Hierarchical Reinforcement Learning for Zero-shot Skill Composition
Reinforcement learning with temporal logic rewards