Automated Abstractions for Patrolling Security Games

Open in new window