Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination.
Lisa HutschenreiterChristel BaierJoachim KleinPublished in: GandALF (2017)
Keyphrases
- markov chain
- steady state
- markov process
- transition probabilities
- finite state
- monte carlo
- markov model
- random walk
- monte carlo method
- stationary distribution
- stochastic process
- markov processes
- state space
- monte carlo simulation
- probabilistic automata
- markov models
- maximum likelihood
- higher order
- hidden markov models
- transition matrix
- assemble to order systems