Spiral-STC: an on-line coverage algorithm of grid environments by a mobile robot | IEEE Conference Publication | IEEE Xplore