Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains.
Manuel BiscaiaDavid HenriquesPaulo MateusPublished in: ACM Trans. Comput. Log. (2014)
Keyphrases
- markov chain
- finite state
- steady state
- monte carlo
- transition probabilities
- stationary distribution
- monte carlo simulation
- markov model
- monte carlo method
- markov processes
- stochastic process
- probabilistic automata
- transition matrix
- random walk
- state space
- model checking
- assemble to order systems
- sample path
- confidence intervals
- description logics