## Bounding inferences for large-scale continuous-time Markov chains : a new approach based on lumping and imprecise Markov chains Ghent University

If the state space of a homogeneous continuous-time Markov chain is too large, making inferences becomes computationally infeasible. Fortunately, the state space of such a chain is usually too detailed for the inferences we are interested in, in the sense that a less detailedU+2014smallerU+2014state space suffices to unambiguously formalise the inference. However, in general this so-called lumped state space inhibits computing exact inferences ...