ARMOR combines three key features:First, it uses
the fastest known solver for Bayesian Stackelberg games called
DOBSS, second,its mixed-initiative based interface allows users
to occasionally adjust or override the automated schedule based on
their local constraints; third,it alerts the users in case mixed-initiative
overrides appear to degrade the overall desired randomization.
ARMOR has been successfully deployed at the Los Angeles Inter- national Airport, randomizing allocation of checkpoints since August 2007 and canine deployment since November 2007.