Computing Publications

Publications Home » Hintikka Games for PCTL on Labele...

Hintikka Games for PCTL on Labeled Markov Chains

Harald Fecher, Michael Huth, Nir Piterman, Daniel Wagner

Conference or Workshop Paper
QEST 2008
September, 2008
IEEE Computer Society Press
DOI 10.1109/QEST.2008.10
PDF of full publication (170 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
Copyright notice

This is a preliminary version of the paper published in the proceedings.

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