Login / Signup

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

Paul BeaumontNeil EvansMichael HuthTom Plant
Published in: ESORICS (1) (2015)
Keyphrases
  • bayesian belief networks
  • data analysis
  • belief networks
  • probabilistic inference
  • neural network
  • machine learning
  • artificial neural networks
  • control system
  • microarray