Quantitative Analysis of Interval Markov Chains.
Giovanni BacciBenoît DelahayeKim G. LarsenAnders MariegaardPublished in: Model Checking, Synthesis, and Learning (2021)
Keyphrases
- quantitative analysis
- markov chain
- steady state
- qualitative analysis
- monte carlo
- markov process
- transition probabilities
- random walk
- state space
- finite state
- stationary distribution
- markov model
- stochastic process
- qualitative evaluation
- markov processes
- monte carlo method
- transition matrix
- probabilistic automata
- qualitative and quantitative analysis
- monte carlo simulation
- search algorithm