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.