Constructing spanning trees for efficient multi-robot coverage | IEEE Conference Publication | IEEE Xplore