Verifying the absence of undeclared activities

The resource distribution problem posed to arms control, disarmament, and nonproliferation regimes by the extension of the rights of inspectorates to look for undeclared, illegal activities is analyzed in terms of noncooperative game theory. A general solution for the inspection of locations within a State subject to verification is derived, which relates quantitative, optimal inspection probabilities to a subjective assessment of the importance of the locations.