) Time Markov Chain Lumping.

Antti Valmari Giuliana Franceschinis

Published in: TACAS (2010)

Keyphrases

markov chain
steady state
finite state
state space
monte carlo method
transition probabilities
random walk
stationary distribution
monte carlo
markov process
markov model
monte carlo simulation
transition matrix
stochastic process
search algorithm