Verification of Continuous-time Markov Chains.

Ji Guan Nengkun Yu

Published in: CoRR (2020)

Keyphrases

continuous time markov chains
markov processes
poisson distribution
numerically stable
markov chain