Confidence Analysis for Nuclear Arms Control: SMT Abstractions of Bayesian Belief Networks. - Paul Beaumont; Neil Evans; Michael Huth 001; Tom Plant (ESORICS (1), 2015)