哈桑·哈特菲;拉尔夫·威默;布雷丁，贝蒂娜;费雷尔·菲奥里蒂，路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 （英语） Zbl 1370.68173号 正式Asp。计算。 29，第4号，629-649（2017）.MSC公司：65年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人，《形式Asp》。计算。29，编号4629-649（2017；兹bl 1370.68173） 全文： DOI程序
弗洛里安·阿诺德;丹尼尔·格布勒;古克，丹尼斯;哈桑·哈特菲 交互式马尔可夫链教程。 （英语） Zbl 1426.68187号 Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8453, 26-66 (2014).MSC公司：87年第68季度 60J20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Arnold}等人，Lect。票据计算。科学。8453，26-66（2014；Zbl 1426.68187） 全文： DOI程序 链接