Y. Vorobeychik, B. An, M. Tambe, and S. Singh, “Computing Solutions in Infinite-Horizon Discounted Adversarial Patrolling Games”, ICAPS, vol. 24, no. 1, pp. 314-322, May 2014.