Reachability in Parametric Interval Markov Chains using Constraints.
Anicet BartBenoît DelahayeDidier LimeÉric MonfroyCharlotte TruchetPublished in: CoRR (2017)
Keyphrases
- markov chain
- state space
- steady state
- finite state
- random walk
- monte carlo
- monte carlo method
- markov model
- markov processes
- markov process
- transition probabilities
- probabilistic automata
- stochastic process
- stationary distribution
- monte carlo simulation
- sample path
- transition matrix
- non stationary
- reinforcement learning
- density estimation
- queueing theory