Hierarchical Counterexamples for Discrete-Time Markov Chains.

Nils Jansen Erika Ábrahám Jens Katelaan Ralf Wimmer Joost-Pieter Katoen Bernd Becker

Published in: ATVA (2011)

Keyphrases

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