Logical Characterization of Bisimulation Metrics

Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic variant of the Hennessy-Milner logic. Our approach is based on t...

Full description

Bibliographic Details
Main Authors: Valentina Castiglioni, Daniel Gebler, Simone Tini
Format: Article
Language:English
Published: Open Publishing Association 2016-10-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1610.08169v1