Learning and Planning with Logical Automata Tags: Linear Temporal LogicLearningAutomata Read more about Learning and Planning with Logical Automata