Linear Temporal Logic
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Overcoming Exploration: Deep Reinforcement Learning for Continuous Control in Cluttered Environments from Temporal Logic Specifications
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Automata-based Optimal Planning with Relaxed Specifications
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Learning and Planning with Logical Automata
