罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认知逻辑的不确定案例（扩展抽象）。 （英语） Zbl 1483.68210号 Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215264-282（2016）。MSC公司：第68季度第60季度 03B25号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra}，电子。程序。西奥。计算。科学。（EPTCS）215264-282（2016年；兹bl 1483.68210） 全文： arXiv公司 链接
沃纳·什尼亚克（Bożena）;安德烈·兹布雷泽兹尼 通过有界模型检查检查定时解释系统的EMTLK属性。 （英语） Zbl 1417.68106号 螺柱日志。 104，第4期，641-678（2016）.MSC公司：第68季度第60季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny}，研究日志。104、4号、641--678（2016；Zbl 1417.68106） 全文： 内政部 OA许可证