Symbolic Counterexample Generation for Discrete-Time Markov Chains.
Nils JansenErika ÁbrahámBarna ZajzonRalf WimmerJohann SchusterJoost-Pieter KatoenBernd BeckerPublished in: FACS (2012)
Keyphrases
- markov chain
- steady state
- finite state
- markov processes
- transition probabilities
- stochastic process
- monte carlo
- markov process
- transition matrix
- markov model
- random walk
- monte carlo method
- stationary distribution
- state space
- monte carlo simulation
- model checking
- probabilistic automata
- sample path
- objective function
- assemble to order systems
- markov models
- mutual information