2001 | OriginalPaper | Buchkapitel
An Algorithm for Quantitative Verification of Probabilistic Transition Systems
verfasst von : Franck van Breugel, James Worrell
Erschienen in: CONCUR 2001 — Concurrency Theory
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.