Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic Computations.

Michael G. McQuinn Peter Kemper William H. Sanders

Published in: QEST (2007)

Keyphrases

markov chain
state space
steady state
markov model
finite state
markov process
transition probabilities
monte carlo simulation
markov processes
learning algorithm
probabilistic model
em algorithm
random walk
monte carlo method