TY  - RPRT
TI  - Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic
AU  - Ron van der Meyden
AU  - Manas K. Patra
PY  - 2015
UR  - https://arxiv.org/abs/1511.03003
ID  - 1511.03003
ER  -