Enforcing ω-Regular Properties in Markov Chains by Restarting.
Javier EsparzaStefan KieferJan KretínskýMaximilian WeiningerPublished in: CONCUR (2021)
Keyphrases
- markov chain
- steady state
- finite state
- transition probabilities
- markov processes
- markov process
- random walk
- monte carlo
- state space
- probabilistic automata
- monte carlo method
- markov model
- stationary distribution
- stochastic process
- assemble to order systems
- monte carlo simulation
- confidence intervals
- sample path
- transition matrix
- maximum entropy
- maximum likelihood