A sequential Stackelberg game for dynamic inspection problems

dc.coverageDOI: 10.1016/j.ejor.2021.12.015
dc.creatorGuzmán, Cristóbal
dc.creatorRiffo, Javiera
dc.creatorTelha, Claudio
dc.creatorVan Vyve, Mathieu
dc.date2022
dc.date.accessioned05-01-2026 18:12
dc.date.available05-01-2026 18:12
dc.description<p>We introduce an inspection game where one inspector has the role of monitoring a group of inspectees. The inspector has the resources to visit only a few of them. Visits are performed sequentially with no repetitions. The inspectees report and share the sequence of inspections as they occur, but otherwise, they do not cooperate. We formulate two Stackelberg models, a static game where the inspector commits to play a sequence of visits announced at the start of the game, and a dynamic game where visits will depend on who was visited previously. In the static game, we characterize the (randomized) inspection paths in an equilibrium using linear programs. In the dynamic game, we determine the inspection paths in an equilibrium using backward induction. Our paper focuses on the mathematical structure of the equilibria of this sequential inspection game, where the inspector can perform exactly two visits. In the static game, the inspection paths are solutions to a transportation problem. We use this equivalence to determine an explicit solution to the game and to show that set of inspection path probabilities in an equilibrium, projected onto its first and second visit marginals, is convex. We discuss how the static and dynamic games relate to each other and how to use these models in practical settings.</p>eng
dc.descriptionWe introduce an inspection game where one inspector has the role of monitoring a group of inspectees. The inspector has the resources to visit only a few of them. Visits are performed sequentially with no repetitions. The inspectees report and share the sequence of inspections as they occur, but otherwise, they do not cooperate. We formulate two Stackelberg models, a static game where the inspector commits to play a sequence of visits announced at the start of the game, and a dynamic game where visits will depend on who was visited previously. In the static game, we characterize the (randomized) inspection paths in an equilibrium using linear programs. In the dynamic game, we determine the inspection paths in an equilibrium using backward induction. Our paper focuses on the mathematical structure of the equilibria of this sequential inspection game, where the inspector can perform exactly two visits. In the static game, the inspection paths are solutions to a transportation problem. We use this equivalence to determine an explicit solution to the game and to show that set of inspection path probabilities in an equilibrium, projected onto its first and second visit marginals, is convex. We discuss how the static and dynamic games relate to each other and how to use these models in practical settings.spa
dc.identifierhttps://investigadores.uandes.cl/en/publications/68fba3f0-9927-4646-bb2b-46f1469e5726
dc.languageeng
dc.rightsinfo:eu-repo/semantics/openAccess
dc.sourcevol.302 (2022) date: 2022-10-16 nr.2 p.727-739
dc.subjectGame theory
dc.subjectInspection games
dc.subjectSequential Stackelberg games
dc.subjectGame theory
dc.subjectInspection games
dc.subjectSequential Stackelberg games
dc.titleA sequential Stackelberg game for dynamic inspection problemseng
dc.typeArticleeng
dc.typeArtículospa
Files