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
September, 2010
DOI 10.1016/j.peva.2009.07.002

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
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.