Basilico, N.; Gatti, N. Automated Abstractions for Patrolling Security Games. AAAI 2011, 25, 1096-1101.