乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·马里加德 区间马尔可夫链的定量分析。 （英语） 兹比尔1522.68296 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030，57-77（2022）。MSC公司：60年第68季度 60年20日 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296） 全文： 内政部 哈尔
穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;乌富克托普库 基于场景的不确定MDP验证。 （英语） Zbl 1507.68182号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 287-305 (2020).MSC公司：60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Cubuktepe}等人，Lect。注释计算。科学。12078，287--305（2020；Zbl 1507.68182） 全文： 内政部 arXiv公司
马尼德拉·阿格拉瓦尔;阿克西，S。;布莱斯·基内斯特;蒂亚加拉扬，P.S。 马尔可夫链符号动力学的近似验证。 （英语） Zbl 1321.68367号 美国临床医学杂志 62，第1号，第2条，第34页（2015年）。MSC公司：87年第68季度 68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Agrawal｝等人，J.ACM 62，第1号，第2条，第34页（2015年；Zbl 1321.68367） 全文： 内政部 哈尔
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen，Kim G。;Legay、Axel;米克尔·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 （英语） Zbl 1296.68092号 Inf.计算。 232，66-116（2013）。MSC公司：65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人，《信息计算》。232，66——116（2013年；兹bl 1296.68092） 全文： 内政部