A Security Game Combining Patrolling and Alarm-Triggered Responses Under Spatial and Detection Uncertainties

Motivated by a number of security applications, among which border patrolling, we study, to the best of our knowledge, the first Security Game model in which patrolling strategies need to be combined with responses to signals raised by an alarm system, which is spatially uncertain (i.e., it is uncertain over the exact location the attack is ongoing) and is affected by false negatives (i.e., the missed detection rate of an attack may be positive). Ours is an infinite–horizon patrolling scenario on a graph where a single patroller moves. We study the properties of the game model in terms of computational issues and form of the optimal strategies and we provide an approach to solve it. Finally, we provide an experimental analysis of our techniques.

[1]  Nicola Basilico,et al.  Strategic Guard Placement for Optimal Response to Alarms in Security Games (Extended Abstract) , 2014 .

[2]  Nicholas R. Jennings,et al.  Introducing Alarms in Adversarial Patrolling Games , 2013 .

[3]  William J. Cook,et al.  An Exact Rational Mixed-Integer Programming Solver , 2011, IPCO.

[4]  Manish Jain,et al.  Computing optimal randomized resource allocations for massive security games , 2009, AAMAS 2009.

[5]  Nicholas R. Jennings,et al.  Introducing alarms in adversarial patrolling games: extended abstract , 2013, AAMAS.

[6]  Bo An,et al.  Security games with surveillance cost and optimal timing of attack execution , 2013, AAMAS.

[7]  Nicola Basilico,et al.  Capturing augmented sensing capabilities and intrusion delay in patrolling-intrusion games , 2009, 2009 IEEE Symposium on Computational Intelligence and Games.

[8]  Nicola Basilico,et al.  Adversarial patrolling with spatially uncertain alarm signals , 2015, Artif. Intell..

[9]  Nicola Basilico,et al.  Patrolling security games: Definition and algorithms for solving large instances with single patroller and single intruder , 2012, Artif. Intell..

[10]  Joël Ouaknine,et al.  The Cyclic-Routing UAV Problem is PSPACE-Complete , 2014, FoSSaCS.

[11]  Bo An,et al.  An Overview of Recent Application Trends at the AAMAS Conference: Security, Sustainability and Safety , 2012, AI Mag..

[12]  Rong Yang,et al.  Adaptive resource allocation for wildlife protection against illegal poachers , 2014, AAMAS.

[13]  Ariel D. Procaccia,et al.  Lazy Defenders Are Almost Optimal against Diligent Attackers , 2014, AAAI.

[14]  Sarit Kraus,et al.  Multi-robot perimeter patrol in adversarial settings , 2008, 2008 IEEE International Conference on Robotics and Automation.