Verification of Open Interactive Markov Chains.

Tomás Brázdil Holger Hermanns Jan Krcál Jan Kretínský Vojtech Rehák

Published in: FSTTCS (2012)

Keyphrases

markov chain
steady state
finite state
stationary distribution
transition probabilities
markov process
state space
monte carlo simulation
monte carlo
stochastic process
random walk
markov processes
markov model
model checking
monte carlo method
sample path
probabilistic automata