graph exploration, Graph exploration., Multi robot exploration., Multi-robot exploration, Optimal tree coverage, Optimal tree coverage..