Stackelberg security games: Computing the shortest-path equilibrium · Study