罗恩·范德梅登;马纳斯·K·帕特拉。 模型检验概率时间认知逻辑的不确定案例（扩展抽象）。 （英语） 兹比尔1483.68210 Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215264-282（2016）。MSC公司：60年第68季度 03B25号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.van der Meyden}和\textit{M.K.Patra}，电子。程序。西奥。计算。科学。（EPTCS）215264--282（2016；Zbl 1483.68210） 全文： arXiv公司 链接
黄晓伟;罗，程;罗恩·范德梅登 改进了公平分支时间时间认知逻辑的有界模型检验。 （英语） Zbl 1327.68159号 范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，95-111（2011）。MSC公司：60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Huang}等人，Lect。注释计算。科学。6572，95-111（2011；Zbl 1327.68159） 全文： 内政部