Reachability in parametric Interval Markov Chains using constraints.
Anicet BartBenoît DelahayePaulin FournierDidier LimeÉric MonfroyCharlotte TruchetPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- markov chain
- state space
- steady state
- transition probabilities
- finite state
- markov process
- markov model
- stationary distribution
- markov processes
- monte carlo
- random walk
- stochastic process
- monte carlo simulation
- monte carlo method
- transition matrix
- probabilistic automata
- sample path
- confidence intervals
- dynamic programming
- random numbers