We use cookies to ensure that we give you the best experience on our website. You can change your cookie settings at any time. Otherwise, we'll assume you're OK to continue.

Durham University

Research & business

View Profile

Publication details for Matthias Troffaes

Troffaes, Matthias C. M. & Skulj, Damjan (2013), Model Checking for Imprecise Markov Chains, in Cozman, Fabio, Denoeux, Thierry, Destercke, Sebastien & Seidenfeld, Teddy eds, ISIPTA'13: Proceedings of the Eighth International Symposium on Imprecise Probability: Theories and Applications. Compiegne, France, SIPTA, Compiegne, 337-344.

Author(s) from Durham


We extend probabilistic computational tree logic for expressing properties of Markov chains to imprecise Markov chains, and provide an efficient algorithm for model checking of imprecise Markov chains. Thereby, we provide a formal framework to answer a very wide range of questions about imprecise Markov chains, in a systematic and computationally efficient way.


2-5 July 2013