coExplore: Combining multiple rankings for multi-robot exploration. - Ingo Scheler; Robin Dietrich (CoRR, 2023)