A probabilistic abstraction approach for planning and controlling mobile robots | Publicación