SMT-based Counterexample Generation for Markov Chains.
Bettina BraitlingRalf WimmerBernd BeckerNils JansenErika ÁbrahámPublished in: MBMV (2011)
Keyphrases
- markov chain
- transition probabilities
- finite state
- steady state
- monte carlo method
- monte carlo
- markov model
- stationary distribution
- markov process
- markov processes
- state space
- probabilistic automata
- transition matrix
- stochastic process
- monte carlo simulation
- model checking
- random walk
- confidence intervals
- machine learning
- sample path
- em algorithm
- weighted sums
- assemble to order systems