Planning mobile robots with Boolean-based specifications | Publicación