Consistency and refinement for Interval Markov Chains.
Benoît DelahayeKim G. LarsenAxel LegayMikkel L. PedersenAndrzej WasowskiPublished in: J. Log. Algebraic Methods Program. (2012)
Keyphrases
- markov chain
- steady state
- finite state
- monte carlo
- transition probabilities
- markov process
- stochastic process
- markov model
- stationary distribution
- random walk
- monte carlo method
- state space
- monte carlo simulation
- sample path
- transition matrix
- probabilistic automata
- markov processes
- confidence intervals
- queueing theory