TIGRE: Topological graph based robotic exploration | Publicación