Verifying Reachability Properties in Markov Chains via Incremental Induction.
Elizabeth PolgreenMartin BrainMartin FränzleAlessandro AbatePublished in: CoRR (2019)
Keyphrases
- markov chain
- state space
- steady state
- transition probabilities
- monte carlo
- finite state
- markov processes
- probabilistic automata
- random walk
- markov process
- stationary distribution
- monte carlo method
- stochastic process
- monte carlo simulation
- transition matrix
- markov model
- machine learning
- pattern matching
- parameter estimation
- graphical models
- markov random field
- objective function