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 (248Kb)
|Publisher Web site:||http://www.sipta.org/isipta13/index.php?id=paper&paper=034.html|
|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|