Troffaes, M. C., & Skulj, D. (2013, July). Model Checking for Imprecise Markov Chains. Presented at ISIPTA'13: Proceedings of the Eighth International Symposium on Imprecise Probability: Theories and Applications, Compiegne, France