Hintikka Games for PCTL on Labeled Markov Chains. Fecher, H., Huth, M., Piterman, N., & Wagner, D. In 5th International Conference on the Quantitative Evaluaiton of Systems, pages 169-178, 2008. © ieee press.
Hintikka Games for PCTL on Labeled Markov Chains [pdf]Paper  bibtex   
@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 = {© ieee press},
  url_Paper = {2008/FHPW08.pdf},
  keywords = {Model Checking,Games},
}
Downloads: 0