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.

• Publication type: Conference Paper
• ISSN/ISBN: 9782913923355
• Keywords: Imprecise Markov chain, Model checking, Parse tree, Logic, Computation.
• Further publication details on publisher web site
• Durham Research Online (DRO) - may include full text

Author(s) from Durham

• Matthias Troffaes

Abstract

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.

Notes

2-5 July 2013