Extensive transportation networks have become the economic backbone of the modern age. Thus, securing these networks against the increasing threat of terrorism is of vital importance. However, protecting critical infrastructure using limited security resources against intelligent adversaries in the presence of the uncertainty and complexities of the real-world is a major challenge. While game-theoretic approaches have been proposed for security domains, traditional methods cannot scale to realistic problem sizes (up to billions of action combinations), even in the absence of uncertainty.
My thesis proposes new models and algorithms that have not only advanced the state of the art in game-theory, but have actually been successfully deployed in the real-world. For instance, IRIS has been in use by the Federal Air Marshal Service for scheduling officers on some international flights since October 2009. My thesis contributes to a very new area that uses insights from large-scale optimization for game-theoretic problems. It represents a successful transition from game-theoretic advancements to real-world applications that are already in use, and it has opened exciting new avenues to greatly expand the reach of game theory.
[1]
Manish Jain,et al.
Computing optimal randomized resource allocations for massive security games
,
2009,
AAMAS 2009.
[2]
Vincent Conitzer,et al.
A double oracle algorithm for zero-sum security games on graphs
,
2011,
AAMAS.
[3]
Manish Jain,et al.
Security Games with Arbitrary Schedules: A Branch and Price Approach
,
2010,
AAAI.
[4]
Vincent Conitzer,et al.
Learning and Approximating the Optimal Strategy to Commit To
,
2009,
SAGT.
[5]
Sarit Kraus,et al.
Playing games for security: an efficient exact algorithm for solving Bayesian Stackelberg games
,
2008,
AAMAS.
[6]
Vincent Conitzer,et al.
Computing the optimal strategy to commit to
,
2006,
EC '06.
[7]
Vincent Conitzer,et al.
Complexity of Computing Optimal Stackelberg Strategies in Security Resource Allocation Games
,
2010,
AAAI.
[8]
Manish Jain,et al.
Software Assistants for Randomized Patrol Planning for the LAX Airport Police and the Federal Air Marshal Service
,
2010,
Interfaces.