Amirkabir University of Technology AUT Journal of Mathematics and Computing 2783-2449 4 2 2023 03 01 A Bi-level formulation for a sequential stochastic attacker-defender game via conditional value at risk 169 181 4891 10.22060/ajmc.2022.21642.1096 EN Nader Biranvand Imam Ali University, Faculty of sciences, Department of mathematics, Tehran, Iran Mohammad Moghaddas Imam Ali University, Faculty of sciences, Department of mathematics, Tehran, Iran Morteza Maleknia Imam Ali University, Faculty of sciences, Department of mathematics, Tehran, Iran Journal Article 2022 07 30 In this study, we present a bi-level formulation for a sequential stochastic attacker-defender game with multiple targets. In this game, the vulnerability of targets is a stochastic parameter, and the attacker has only one attack type. The defender’s aim is to find the optimal allocation of the budget to minimize the conditional value at risk of damage. In response to the defender’s decisions, the attacker seeks an optimal allocation of its budget to maximize the expected damage. By using Karush-Kuhn-Tucker transformations, we reduce the proposed bi-level formulation to a single-level one. We also explore some important relationships between the solutions of the single-level and bi-level problems. Finally, by means of numerical experiments, we apply our formulation to several stochastic attacker-defender games to show the efficiency of our formulation in practice. https://ajmc.aut.ac.ir/article_4891_e9257036daf20f062a498aab563d7712.pdf