The Waste Isolation Pilot Plant (WIPP) site near Carlsbad, New Mexico, has been the subject of scientific and engineering investigations for more than twenty years. Data from these investigations are now being used as part of the process to certify compliance of the WIPP with the governing...

A simple model is used to analyze the performance of a system for verifying compliance with an arms control treaty. Blue and Red are partners in to a treaty. Blue prefers to comply, but is uncertain whether Red similarly prefers compliance (in the absence of threatened violation detection)....