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