N. Basilico and N. Gatti, “Automated Abstractions for Patrolling Security Games”, AAAI, vol. 25, no. 1, pp. 1096–1101, Aug. 2011.