Abstract: Temporal logic is a concise way of specifying complex tasks. However, motion planning to achieve temporal logic specifications is difficult, and existing methods struggle to scale to complex ...