Verifying the Evolution of Probability Distributions Governed by a DTMC.

YoungMin Kwon Gul A. Agha

Published in: IEEE Trans. Software Eng. (2011)

Keyphrases

markov chain
probability distribution
random variables
artificial intelligence
conditional probabilities
state space
machine learning
information retrieval
model checking
artificial life
data mining
normal distribution
special case
search space
objective function
bayesian networks
image processing