Incremental Verification of Parametric and Reconfigurable Markov Chains.
Paul GainerErnst Moritz HahnSven SchewePublished in: QEST (2018)
Keyphrases
- markov chain
- steady state
- finite state
- transition probabilities
- monte carlo
- state space
- transition matrix
- stochastic process
- model checking
- markov model
- random walk
- markov process
- markov processes
- monte carlo method
- probabilistic automata
- stationary distribution
- monte carlo simulation
- sample path
- higher order
- random numbers
- reinforcement learning