Reachability in Parametric Interval Markov Chains Using Constraints.
Anicet BartBenoît DelahayeDidier LimeÉric MonfroyCharlotte TruchetPublished in: QEST (2017)
Keyphrases
- markov chain
- state space
- transition probabilities
- steady state
- finite state
- markov process
- markov processes
- monte carlo
- markov model
- stationary distribution
- random walk
- stochastic process
- monte carlo method
- monte carlo simulation
- assemble to order systems
- transition matrix
- sample path
- probabilistic automata
- expectation maximization