Basilico, N. and Gatti, N. (2011) “Automated Abstractions for Patrolling Security Games”, Proceedings of the AAAI Conference on Artificial Intelligence, 25(1), pp. 1096–1101. doi: 10.1609/aaai.v25i1.7989.