Robot planning and re-planning using decomposition, abstraction, deduction, and prediction | Publicación