克里斯特尔·拜尔;卢卡·德·阿尔法罗;Forejt,Vojtěch公司;玛尔塔·奎亚特科夫斯卡 模型检查概率系统。 (英语) Zbl 1392.68227号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。963-999 (2018).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,in:模型检查手册。查姆:斯普林格。963-999(2018年;兹比尔1392.68227) 全文: 内政部
卢卡·博托卢西;米利奥斯·迪米特里奥斯;吉多·桑吉内蒂 不确定连续时间马尔可夫链的平滑模型检验。 (英语) Zbl 1336.68162号 Inf.计算。 247, 235-253 (2016).MSC公司:60年第68季度 60G15年 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。247235-253(2016;Zbl 1336.68162) 全文: 内政部 arXiv公司 链接