Incremental Verification of Parametric and Reconfigurable Markov Chains.
Paul GainerErnst Moritz HahnSven SchewePublished in: CoRR (2018)
Keyphrases
- markov chain
- steady state
- markov process
- finite state
- transition probabilities
- monte carlo
- markov processes
- state space
- stochastic process
- random walk
- model checking
- transition matrix
- monte carlo simulation
- markov model
- stationary distribution
- monte carlo method
- probabilistic automata
- sample path
- uniformly distributed
- confidence intervals
- maximum entropy
- information theoretic
- model selection