Stochastic Strategies for Robotic Surveillance as Stackelberg Games | IEEE Journals & Magazine | IEEE Xplore