On benchmarking of frontier-based multi-robot exploration strategies | IEEE Conference Publication | IEEE Xplore