Probabilistic Verification: A New Concept for Verifying the Denuclearization of North Korea
Implementing an agreement on the denuclearization of North Korea will require a creatively designed verification scheme. The probabilistic approach to verification could be a solution to the need to design a credible, implementable agreement to which the United States and North Korea could agree.
