Quality-bounded solutions for finite Bayesian Stackelberg games: scaling up

The fastest known algorithm for solving General Bayesian Stackelberg games with a finite set of follower (adversary) types have seen direct practical use at the LAX airport for over 3 years; and currently, an (albeit non-Bayesian) algorithm for solving these games is also being used for scheduling air marshals on limited sectors of international flights by the US Federal Air Marshals Service. These algorithms find optimal randomized security schedules to allocate limited security resources to protect targets. As we scale up to larger domains, including the full set of flights covered by the Federal Air Marshals, it is critical to develop newer algorithms that scale-up significantly beyond the limits of the current state-of-theart of Bayesian Stackelberg solvers. In this paper, we present a novel technique based on a hierarchical decomposition and branch and bound search over the follower type space, which may be applied to different Stackelberg game solvers. We have applied this ...

• Type: Journal
• Year: 2011
• Where: ATAL
• Authors: Manish Jain, Christopher Kiekintveld, Milind Tambe
• Keywords: ATAL 2011, Federal Air Marshals, Federal Air Marshals Service, Hierarchical Decomposition, Intelligent Agents