Imprecise Continuous-Time Markov Chains: Efficient Computational Methods with Guaranteed Error Bounds.

Alexander Erreygers Jasper De Bock

Published in: ISIPTA (2017)

Keyphrases

computational methods
error bounds
theoretical analysis
statistical methods
computational tools
computational approaches
worst case
numerically stable
maximum likelihood
convergence rate
continuous time markov chains