Marcos S. Pereira

Task Planning and Motion Control with Temporal Logic Specifications

This paper proposes a task planning and motion control framework that generates task plans for a linear temporal logic specification (LTL), which are then executed using a task-space constrained motion controller and a local task planner that overcomes local minima. We propose a new encoding for tas…