Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements.
Bharath Siva Kumar TatiMarkus SieglePublished in: Cassting/SynCoP (2016)
Keyphrases
- markov chain
- transition probabilities
- state space
- steady state
- random walk
- finite state
- stochastic process
- markov processes
- monte carlo
- monte carlo method
- state transition
- markov model
- markov process
- probabilistic automata
- stationary distribution
- confidence intervals
- sample path
- queueing theory
- assemble to order systems