Login / Signup
Accelerating Parametric Probabilistic Verification.
Nils Jansen
Florian Corzilius
Matthias Volk
Ralf Wimmer
Erika Ábrahám
Joost-Pieter Katoen
Bernd Becker
Published in:
CoRR (2013)
Keyphrases
</>
probabilistic model
bayesian networks
model checking
neural network
data driven
image processing
logic programs
generative model
asynchronous circuits
posterior probability
uncertain data
belief networks
probabilistic logic
verification method