哈桑·哈特菲;拉尔夫·威默;布雷丁，贝蒂娜;费雷尔·菲奥里蒂，路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 （英语） 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，第4号，629--649（2017；Zbl 1370.68173） 全文： 内政部
哈桑·哈特菲;布雷丁，贝蒂娜;拉尔夫·威默;费雷尔·菲奥里蒂，路易斯·玛丽亚;霍尔格·赫尔曼斯;贝恩德·贝克尔 随机博弈和马尔可夫自动机中的成本与时间。 （英语） Zbl 1369.68253号 李宣东（编辑）等，《可靠软件工程：理论、工具和应用》。2015年11月4日至6日，中国南京，SETTA，首届国际研讨会。诉讼程序。查姆：施普林格（ISBN 978-3-319-25941-3/pbk；978-3-3169-25942-0/电子书）。计算机科学课堂讲稿9409，19-34（2015）。MSC公司：65年第68季度 68问题85 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}等人，Lect。注释计算。科学。9409，19-34（2015；Zbl 1369.68253） 全文： 内政部
尤利亚·布特科娃;哈桑·哈特菲;霍尔格·赫尔曼斯;简·克查尔 最优连续时间马尔可夫决策。 （英语） Zbl 1471.68132号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 166-182 (2015).MSC公司：60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Butkova｝等人，Lect。注释计算。科学。9364，166--182（2015；Zbl 1471.68132） 全文： 内政部 arXiv公司
布雷丁，贝蒂娜;费雷尔·菲奥里蒂，路易斯·玛丽亚;哈桑·哈特菲;拉尔夫·威默;贝恩德·贝克尔;霍尔格·赫尔曼斯 基于抽象的马尔可夫自动机报酬测度计算。 （英语） Zbl 1432.68217号 D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8931, 172-189 (2015).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Brailing}等人，Lect。注释计算。科学。8931、172--189（2015；Zbl 1432.68217） 全文： 内政部
瓦希德·哈希米;哈桑·哈特菲;简·克查尔 区间MDP的PCTL模型检查的概率互模拟。 （英语） Zbl 1464.68206号 André，ed tienne（编辑）等人，《第一届连续参数合成国际研讨会论文集》，SynCoP’14，法国格勒诺布尔，2014年4月6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）145、19-33（2014）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Hashemi}等人，Electron。程序。西奥。计算。科学。（EPTCS）145，19-33（2014；Zbl 1464.68206） 全文： arXiv公司 链接
古克，丹尼斯;马克·蒂姆;哈桑·哈特菲;埃诺·鲁伊特斯;玛丽·斯托琳加 马尔可夫报酬自动机的建模与分析。 （英语） Zbl 1448.68265号 Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 168-184 (2014).MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.Guck｝等人，Lect。注释计算。科学。8837168-184（2014年；兹比尔1448.68265） 全文： 内政部 链接
佛罗里达州阿诺德;丹尼尔·格布勒;古克，丹尼斯;哈桑·哈特菲 交互式马尔可夫链教程。 （英语） 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） 全文： 内政部 链接
古克，丹尼斯;哈桑·哈特菲;霍尔格·赫尔曼斯;Joost-Pieter卡托恩;马克·蒂姆 马尔可夫自动机的时间和长期目标分析。 （英语） Zbl 1342.68135号 日志。方法计算。科学。 10，第3号，第17号论文，29页（2014）.MSC公司：2010年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guck}等人，Log。方法计算。科学。10，第3号，第17号论文，29页（2014；Zbl 1342.68135） 全文： 内政部 arXiv公司
哈桑·哈特菲;霍尔格·赫尔曼斯 改进交互式马尔可夫链中的有时限可达性计算。 （英语） Zbl 1434.68337号 Arbab，Farhad（编辑）等人，《软件工程基础》，第五届国际会议，2013年4月24日至26日，伊朗德黑兰，FSEN 2013。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8161, 250-266 (2013).MSC公司：87年第68季度 60J20型 68问题85 68周25 PDF格式BibTeX公司 XML格式引用 \textit{H.Hatefi}和\textit{H.Hermanns}，莱克特。注释计算。科学。8161250-266（2013年；Zbl 1434.68337） 全文： 内政部