On-the-fly verification and optimization of DTA-properties for large Markov chains.
Linar MikeevMartin R. NeuhäußerDavid SpielerVerena WolfPublished in: Formal Methods Syst. Des. (2013)
Keyphrases
- markov chain
- steady state
- finite state
- markov processes
- transition probabilities
- markov model
- markov process
- state space
- stochastic process
- monte carlo
- random walk
- stationary distribution
- monte carlo method
- monte carlo simulation
- model checking
- sample path
- transition matrix
- probabilistic automata
- markov models
- non stationary
- image segmentation