The Exit Time Finite State Projection Scheme: Bounding Exit Distributions and Occupation Measures of Continuous-Time Markov Chains.
Juan KuntzPhilipp ThomasGuy-Bart StanMauricio BarahonaPublished in: SIAM J. Sci. Comput. (2019)
Keyphrases
- finite state
- markov chain
- markov decision processes
- continuous time markov chains
- model checking
- markov processes
- poisson distribution
- optimal policy
- probabilistic context free grammars
- probability distribution
- average cost
- tree automata
- stationary distribution
- markov process
- random variables
- transition probabilities
- transition systems