保罗·盖纳;恩斯特·莫里茨·哈恩;斯文·舍韦 参数马尔可夫链的加速模型检验。 （英语） 兹比尔1517.68235 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 300-316 (2018). 摘要：参数马尔可夫链在各种应用中都会很自然地出现：它们可以用于概率系统的保守分析（无论如何选择参数，系统都会按照规范工作）；它们可以用于找到参数的最佳设置；它们可用于可视化系统参数的影响；并且它们可以用于在参数改变的情况下容易地调整分析。不幸的是，这些进步是有代价的：参数化模型检查通常很慢。要使参数马尔可夫模型的分析规模扩大，我们需要三个要素：聪明的算法、正确的数据结构和良好的工程。聪明的算法通常是主要（或唯一）卖点；我们还面临着本文关注的问题&高效模型检查的后一个要素。因此，我们最容易声名鹊起的原因是，与最先进的技术相比，我们经常意识到速度在加快。关于整个系列，请参见[Zbl 1396.68018号]。 引用于11文件 理学硕士： 60年第68季度 规范和验证（程序逻辑、模型检查等） 60J22型 马尔可夫链中的计算方法 87年第68季度 计算机科学中的概率（算法分析、随机结构、相变等） PDF格式BibTeX公司 XML格式引用 \textit{P.Gainer}等人，Lect。注释计算。科学。11138300-316（2018；Zbl 1517.68235） 全文： 内政部 arXiv公司 链接