Symbolic Computation of Maximal Probabilistic Reachability.

Marta Z. Kwiatkowska Gethin Norman Jeremy Sproston

Published in: CONCUR (2001)

Keyphrases

state space
probabilistic interpretation
probabilistic model
bayesian networks
image processing
generative model
context sensitive
website
decision trees
artificial intelligence
neural network
information theoretic
conditional probabilities
posterior probability
uncertain data
probabilistic reasoning
real time