Computing a Guaranteed Approximation of the Zone Explored by a Robot | IEEE Journals & Magazine | IEEE Xplore