Applications of inspection games

Abstract An inspection game is a mathematical model of a non‐cooperative situation where an inspector verifies that another party, called inspectee, adheres to legal rules. The inspector wishes to deter illegal activity on the part of the inspectee and, should illegal activity nevertheless take place, detect it with the highest possible probability and as soon as possible. The inspectee may have some incentive to violate his commitments and violation, if observed, will incur punishment. Therefore if he chooses illegal behaviour, the inspectee will wish to avoid detection with the highest possible probability. Three examples of applications are presented. The first one deals with random controls in public transportation systems. The second one describes the problem of verification of arms control and disarmament in a very general way. The third one deals with inspections over time which are important in the context of non‐proliferation verification.