Keyphrases
- markov chain
- steady state
- finite state
- model checking
- markov process
- monte carlo
- temporal logic
- transition probabilities
- stationary distribution
- monte carlo simulation
- markov model
- state space
- markov processes
- linear temporal logic
- random walk
- probabilistic automata
- stochastic process
- monte carlo method
- transition matrix
- machine learning
- linear time temporal logic