Markov Chains and Unambiguous Büchi Automata.
Christel BaierStefan KieferJoachim KleinSascha KlüppelholzDavid MüllerJames WorrellPublished in: CoRR (2016)
Keyphrases
- markov chain
- probabilistic automata
- finite state
- finite automata
- steady state
- transition probabilities
- stationary distribution
- stochastic process
- monte carlo method
- random walk
- monte carlo
- state space
- monte carlo simulation
- relative entropy
- markov process
- markov processes
- markov model
- finite state automata
- sample path
- mutual information
- transition matrix
- queue length
- finite state machines
- search space
- algo rithm
- assemble to order systems