We use cookies to ensure that we give you the best experience on our website. By continuing to browse this repository, you give consent for essential cookies to be used. You can read more about our Privacy and Cookie Policy.

Durham Research Online
You are in:

Model checking for imprecise Markov chains.

Troffaes, Matthias C. M. and Skulj, Damjan (2013) 'Model checking for imprecise Markov chains.', in ISIPTA ’13 : proceedings of the eighth international symposium on imprecise probability : theories and applications July 2-5 2013, Compiègne, France. , pp. 337-344.


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.

Item Type:Book chapter
Keywords:Imprecise Markov chain, Model checking, Parse tree, Logic, Computation.
Full text:(AM) Accepted Manuscript
Download PDF
Publisher Web site:
Date accepted:No date available
Date deposited:22 October 2014
Date of first online publication:July 2013
Date first made open access:No date available

Save or Share this output

Look up in GoogleScholar