Conitzer, V. Computing Game-Theoretic Solutions and Applications to Security. AAAI 2021, 26, 2106-2112.