Capturing an Evader in a Building - Randomized and Deterministic Algorithms for Mobile Robots | IEEE Journals & Magazine | IEEE Xplore