Frontier-based exploration for multiple robots and movement uncertainty