徐明;傅建玲;梅静怡;邓玉欣 量子马尔可夫链上基于可信度的模型检测的代数方法。 （英文） Zbl 07601539号 西奥。计算。科学。 935, 61-81 (2022).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，Theor。计算。科学。935，61-81（2022；Zbl 07601539） 全文： 内政部 arXiv公司
徐明;张丽君;大卫·詹森（David N.Jansen）。;朱慧彪;杨宗元 马尔可夫报酬模型上的多阶段直到公式：代数方法。 （英文） Zbl 1332.68143号 西奥。计算。科学。 611, 116-135 (2016).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，Theor。计算。科学。611116--135（2016；Zbl 1332.68143） 全文： 内政部
拜尔，克里斯特尔;克莱门斯·杜伯斯拉夫;克吕佩尔霍尔茨，萨沙;琳达·卢施纳 使用概率模型检查对弹性系统进行能源效用分析。 （英文） Zbl 1407.68280号 Ciardo，Gianfranco（编辑）等人，Petri网和并发的应用和理论。第35届国际会议，PETRI NETS 2014，突尼斯突尼斯，2014年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8489, 20-39 (2014).MSC公司：60年第68季度 60J20型 68平方米 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。8489、20--39（2014年；Zbl 1407.68280） 全文： 内政部
拜尔，克里斯特尔;克莱门斯·杜伯斯拉夫;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;萨沙·旺德利希 用于能源效用分析的概率模型检查。 （英文） Zbl 1407.68279号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 96-123 (2014).MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279） 全文： 内政部