A computationally efficient solution for path planning of mobile robots with boolean specifications | Publicación