An efficient algorithm for environmental coverage with multiple robots | IEEE Conference Publication | IEEE Xplore