An Algorithm for Quantitative Verification of Probabilistic Transition Systems
An Algorithm for Quantitative Verification of Probabilistic Transition Systems
复制标题
DOI：
10.1007/3-540-44685-0_23
复制
发表时间：
2001-08
期刊：
影响因子：
--
通讯作者：
F. Breugel;J. Worrell
中科院分区：
文献类型：
--
作者：
F. Breugel;J. Worrell
在以前的论文中，我们提出了一个伪度量类的反应概率过渡系统，产生一个定量的概念的行为等价。伪度量是基于概率测度上的哈钦森度量，通过函子的终端余代数定义的。在本文中，我们给出了一个算法，基于线性规划，计算两个状态之间的距离达到规定的精度。
In an earlier paper we presented a pseudometric on the class of reactive probabilistic transition systems, yielding a quantitative notion of behavioural equivalence. The pseudometric is defined via the terminal coalgebra of a functor based on the Hutchinson metric on probability measures. In the present paper we give an algorithm, based on linear programming, to calculate the distance between two states up to prescribed degree of accuracy.