@Inproceedings{EPTCS215.19,
  author    = {van der Meyden , R and Patra, M K },
  year      = {2016},
  title     = {Undecidable Cases of Model Checking  Probabilistic Temporal-Epistemic Logic (Extended Abstract)},
  editor    = {Ramanujam, R},
  booktitle = {{\rm Proceedings Fifteenth Conference on}
               Theoretical Aspects of Rationality and Knowledge,
               {\rm Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {215},
  publisher = {Open Publishing Association},
  pages     = {264-282},
  doi       = {10.4204/EPTCS.215.19},
}