Efficient Multi-Robot Coverage of an Unknown Environment | IEEE Conference Publication | IEEE Xplore