塞巴斯蒂安·荣格斯;Joost Pieter卡托恩;吉列尔莫·A·佩雷斯。;托拜厄斯·温克勒 参数马尔可夫决策过程可达性的复杂性。 (英语) Zbl 1477.68124号 J.计算。系统。科学。 119, 183-210 (2021).MSC公司:65年第68季度 60年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Junges}等人,J.Compute。系统。科学。119183-210(2021年;Zbl 1477.68124) 全文: 内政部 arXiv公司 链接
劳雷·佩特鲁奇;雅各布·范德波尔 参数区间马尔可夫链的参数综合算法。 (英语) Zbl 1508.68256号 Baier,Christel(编辑)等人,分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议,FORTE 2018,作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。10854, 121-140 (2018).MSC公司:第68季度87 60焦耳10 PDF格式BibTeX公司 XML格式引用 \textit{L.Petrucci}和\textit{J.van de Pol},莱克特。注释计算。科学。10854、121--140(2018年;Zbl 1508.68256) 全文: 内政部 哈尔