Approximating and computing behavioural distances in probabilistic transition systems

Franck van Breugel, James Worrell
2006 Theoretical Computer Science  
In an earlier paper we presented a pseudometric on the states of a probabilistic transition system, yielding a quantitative notion of behavioural equivalence. The behavioural pseudometric was defined via the terminal coalgebra of a functor based on a metric on Borel probability measures. In the present paper we give a polynomial-time algorithm, based on linear programming, to calculate the distances between states up to a prescribed degree of accuracy.
doi:10.1016/j.tcs.2006.05.021 fatcat:ase767krqvbdnnd7azkqi3mi2y