塞巴斯蒂安·荣格斯;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公司 链接
穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;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公司