Efficient integration of metric and topological maps for directed exploration of unknown environments | Publicación