Approximate Verification of the Symbolic Dynamics of Markov Chains.

Manindra Agrawal S. Akshay Blaise Genest P. S. Thiagarajan

Published in: J. ACM (2015)

Keyphrases

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