Efficient multi-robot coverage of a known environment | IEEE Conference Publication | IEEE Xplore