加速参数概率验证
Accelerating Parametric Probabilistic Verification
摘要：
提出了一种计算参数离散马尔可夫链可达概率的新方法，该链的转移概率是一组参数上多项式的分数。我们的算法是基于两个关键成分：一个图分解成强连通子图结合一个新的多项式分解策略。实验评估表明，这些方法可以导致几个数量级的速度相比，现有的方法
英文摘要：
We present a novel method for computing reachability probabilities of parametric discrete-time Markov chains whose transition probabilities are fractions of polynomials over a set of parameters. Our algorithm is based on two key ingredients: a graph decomposition into strongly connected subgraphs combined with a novel factorization strategy for polynomials. Experimental evaluations show that these approaches can lead to a speed-up of up to several orders of magnitude in comparison to existing approaches
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
