Audit Games with Multiple Defender Resources
Complexity of computing optimal Stackelberg strategies in security resource allocation games