Branching Time Equivalences for Interactive Markov Chains.
Guangping QinJinzhao WuPublished in: FORTE Workshops (2004)
Keyphrases
- markov chain
- finite state
- transition probabilities
- steady state
- monte carlo
- markov process
- state space
- stationary distribution
- stochastic process
- markov model
- probabilistic automata
- random walk
- monte carlo method
- markov processes
- monte carlo simulation
- temporal reasoning
- transition matrix
- temporal logic
- sample path
- queueing theory
- connected components
- confidence intervals
- model checking
- sufficient conditions
- bayesian networks