Towards a more robust treatment of discrete-time stochastic processes: developing a theoretical framework for working with imprecise probabilities in Markov chains
Bounding inferences for large-scale continuous-time Markov chains : a new approach based on lumping and imprecise Markov chains