Spanning-Tree Based Coverage for a Tethered Robot | IEEE Journals & Magazine | IEEE Xplore