Parameter Synthesis for Parametric Interval Markov Chains.
Benoît DelahayeDidier LimeLaure PetrucciPublished in: VMCAI (2016)
Keyphrases
- markov chain
- finite state
- steady state
- transition probabilities
- random walk
- state space
- monte carlo method
- stationary distribution
- monte carlo
- markov process
- markov processes
- monte carlo simulation
- stochastic process
- markov model
- probabilistic automata
- transition matrix
- confidence intervals
- sample path
- reinforcement learning
- pattern matching
- parameter estimation
- image segmentation