Decision-theoretic robotic surveillance - Μασσιός, Νικόλαος Α. (Institute for Logic, Language and Computation, 2001)