尤利亚·布特科娃;拉尔夫·威默;霍尔格·赫尔曼斯 马尔可夫自动机的长期回报。 (英语) Zbl 1452.68102号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。10206, 188-203 (2017).MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Butkova}等人,Lect。注释计算。科学。10206、188--203(2017;Zbl 1452.68102) 全文: 内政部
哈桑·哈特菲;拉尔夫·威默;布雷丁,贝蒂娜;费雷尔·菲奥里蒂,路易斯·玛丽亚;贝恩德·贝克尔;霍尔格·赫尔曼斯 随机博弈和马尔可夫自动机中的成本与时间。 (英语) 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) 全文: 内政部
艾丽卡·阿尔布拉汉姆;贝恩德·贝克尔;克里斯蒂安·德内特;尼尔斯·詹森;Joost-Pieter卡托恩;拉尔夫·威默 离散时间马尔可夫模型的反例生成:介绍性调查。 (英语) Zbl 1445.68130号 Bernardo,Marco(编辑)等人,可执行软件模型的形式化方法。2014年6月16日至20日,意大利贝蒂诺罗,第14所计算机、通信和软件系统正式设计方法国际学校,SFM 2014。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).MSC公司:第68季度第60季度 60J22型 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人,Lect。注释计算。科学。8483、65-121(2014年;Zbl 1445.68130) 全文: 内政部