计算机科学>计算机科学中的逻辑
标题: 参数马尔可夫模型的情景方法
摘要: 本文提出了一种分析参数马尔可夫模型的近似框架。 我们没有计算编码参数模型可达概率和奖励值的复杂有理函数,而是利用场景方法来合成相对简单的多项式近似。 近似值可能是近似正确的(PAC),这意味着在高置信度下,近似函数接近实际函数,但存在允许的误差。 使用PAC近似,可以检查参数马尔可夫模型的特性。 我们表明,场景方法也可以用于直接检查PRCTL属性,而无需直接合成多项式。 我们在原型工具中实现了我们的算法,并进行了深入的实验。 实验结果表明,与PRISM和Storm等最新工具相比,我们的工具能够计算更多基准的多项式,从而验证了基于PAC的合成的有效性。