Lumpability for Uncertain Continuous-Time Markov Chains.

Luca Cardelli Radu Grosu Kim G. Larsen Mirco Tribastone Max Tschaikowski Andrea Vandin

Published in: QEST (2021)

Keyphrases

continuous time markov chains
markov processes
poisson distribution
numerically stable
higher order
cross validation