李锐;张琪;楚天光 概率布尔网络的互模拟。 (英语) Zbl 1498.93332号 SIAM J.控制优化。 60,第5期,2631-2657(2022).MSC公司:93元29角 93E03型 93B70型 93E20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Li}等人,SIAM J.控制优化。60,第5号,2631--2657(2022;Zbl 1498.93332) 全文: 内政部
苏菲·海瑟特;萨代赫·伊斯梅尔·扎德赫·苏贾尼;亚历山德罗·阿巴特 通过近似相似关系和策略精化验证一般马尔可夫决策过程。 (英语) Zbl 1367.93615号 SIAM J.控制优化。 55,第4期,2333-2367(2017).MSC公司:93E03型 90立方厘米 93亿B50 60年第68季度 93C55美元 PDF格式BibTeX公司 XML格式引用 \textit{S.Haesaert}等人,SIAM J.控制优化。55,第4号,2333--2367(2017;Zbl 1367.93615) 全文: 内政部