On Concepts for Solving Two-Person Games Which Model the Verification Problem in Arms Control

Arms control agreements which include non-trivial verification procedures whose details are accessible to the general public are of special interest to the mathematically oriented analyst. This is typically the case with multilateral treaties under which verification is often performed by an international agency or by supranational commissions or institutions. Bilateral agreements often rely on national technical means or intelligence services. It is therefore extremely difficult to get sufficiently detailed information on these treaties as inputs to mathematical modelling.