Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination.
Christel BaierChristian HenselLisa HutschenreiterSebastian JungesJoost-Pieter KatoenJoachim KleinPublished in: Inf. Comput. (2020)
Keyphrases
- markov chain
- steady state
- transition probabilities
- monte carlo
- finite state
- random walk
- markov process
- stochastic process
- markov model
- stationary distribution
- markov processes
- probabilistic automata
- state space
- monte carlo simulation
- monte carlo method
- maximum likelihood
- image segmentation
- confidence intervals
- transition matrix
- assemble to order systems
- markov models
- queue length
- gaussian distribution
- directed graph
- sufficient conditions
- reinforcement learning
- bayesian networks