A continuous-time Markov Stackelberg security game approach for reasoning about real patrol strategies. Issue 11 (2nd November 2018)