Abstract

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.