Mixed-Integer Optimization Methods for Solving Stackelberg Security Games