The Demand for Reliability in Probabilistic Verification.

Ralf Wimmer Alexander Kortus Marc Herbstritt Bernd Becker

Published in: MBMV (2008)

Keyphrases

probabilistic model
model checking
generative model
learning algorithm
signature verification
information systems
case study
bayesian networks
information theoretic
uncertain data
belief networks
formal verification
fingerprint verification