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.