Audit Games
Complexity of computing optimal Stackelberg strategies in security resource allocation games