Computing Publications

Publications Home » PCTL Model Checking of Markov Cha...

PCTL Model Checking of Markov Chains: Truth and Falsity as Winning Strategies in Games

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner

Journal Special Issue Article
Performance Evaluation
Volume 67
Issue 9
pp.858–872
September, 2010
Elsevier
DOI 10.1016/j.peva.2009.07.002
Notes

This is a preliminary version of a paper that is to appear in the above journal.

PDF of full publication (504 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.