@conference {1508526, title = {Playing games with security: An efficient exact algorithm for Bayesian Stackelberg Games }, booktitle = {International Joint Conference on Autonomous Agents and Multiagent Systems, 2008}, year = {2008}, abstract = {In a class of games known as Stackelberg games, one agent (the leader) must commit to a strategy that can be observed by the other agent (the follower or adversary) before the adversary chooses its own strategy. We consider Bayesian Stackelberg games, in which the leader is uncertain about the types of adversary it may face. Such games are important in security domains, where, for example, a security agent (leader) must commit to a strategy of patrolling certain areas, and a robber (follower) has a chance to observe this strategy over time before choosing its own strategy of where to attack. This paper presents an efficient exact algorithm for finding the optimal strategy for the leader to commit to in these games. This algorithm, DOBSS, is based on a novel and compact mixed-integer linear programming formulation. Compared to the most efficient algorithm known previously for this problem, DOBSS is not only faster, but also leads to higher quality solutions, and does not suffer from problems of infeasibility that were faced by this previous algorithm. Note that DOBSS is at the heart of the ARMOR system that is currently being tested for security scheduling at the Los Angeles International Airport.}, author = {Praveen Paruchuri and Jonathan P. Pearce and Janusz Marecki and Tambe, Milind and Ordonez, Fernando and Kraus, Sarit} }