Login / Signup
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