TY  - RPRT
TI  - Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
AU  - R van der Meyden
AU  - M K Patra
PY  - 2016
DO  - 10.4204/eptcs.215.19
UR  - https://arxiv.org/abs/1606.08815
ID  - 1606.08815
ER  -