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

Technical Report
Performance Evaluation
PDF of full publication (240 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

This is a preliminary version of a paper that has been accepted for publication in the above journal - available here:

Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.