Extensive form game; interim inspection; Nash equilibrium; normal form game; public transportation; verification of arms control and disarmament agreements