It has been argued that Boolean-valued logics and associated discrete notions of behavioural equivalence sit uneasily with semantic models featuring quantitative data, like probabilistic transition systems. In this paper we present a pseudometric on a 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 the space of Borel probability measures on a metric space. We also characterize the distance between systems in terms of a real-valued modal logic. © 2011 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Van Breugel, F., & Worrell, J. (2001). Towards quantitative verification of probabilistic transition systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2076 LNCS, pp. 421–432). Springer Verlag. https://doi.org/10.1007/3-540-48224-5_35
Mendeley helps you to discover research relevant for your work.