Hintikka Games for PCTL on Labeled Markov Chains

Fecher, H.; Huth, M.; Piterman, N.; Wagner, D.

Hintikka Games for PCTL on Labeled Markov Chains (bibtex)

@string{ieeepress="© IEEE press"}
@InProceedings{FHPW08,
  author = 	 {H. Fecher and M. Huth and N. Piterman and D. Wagner},
  title = 	 {Hintikka Games for PCTL on Labeled Markov Chains},
  booktitle = {5th International Conference on the Quantitative 
Evaluaiton of Systems},
  pages = 	 {169--178},
  year = 	 {2008},
  publisher = ieeepress,
  pdf = {2008/FHPW08.pdf},
  url = {2008/FHPW08.html},
  keywords = {Model Checking,Games},
}