Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.

Tingting Han Joost-Pieter Katoen Alexandru Mereacre

Published in: RTSS (2008)

Keyphrases

bayesian networks
input parameters
probabilistic model
uncertain data
neural network
exact and approximate
parameter settings
artificial intelligence
em algorithm
generative model
information theoretic
posterior probability
data driven
parameter values
data structure
probability theory
database