The COMICS Tool - Computing Minimal Counterexamples for Discrete-time Markov Chains
Nils JansenErika ÁbrahámMaik SchefflerMatthias VolkAndreas VorpahlRalf WimmerJoost-Pieter KatoenBernd BeckerPublished in: CoRR (2012)
Keyphrases
- markov chain
- markov processes
- finite state
- steady state
- transition probabilities
- markov model
- markov process
- stationary distribution
- monte carlo
- state space
- monte carlo method
- random walk
- stochastic process
- monte carlo simulation
- transition matrix
- confidence intervals
- mahalanobis distance
- pattern matching
- bayesian networks