Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks.

Paul Beaumont, Neil Evans, Michael Huth, Tom Plant

Browse the full ESORICS paper archive.