Reactive Task and Motion Planning under Temporal Logic Specifications

Shen Li, Daehyung Park, Yoonchang Sung +2

We present a task-and-motion planning (TAMP) algorithm robust against a human operator's cooperative or adversarial interventions. Interventions often invalidate the current plan a…