Logical characterization of bisimulation metrics

V Castiglioni, D Gebler, S Tini - arXiv preprint arXiv:1610.08169, 2016 - arxiv.org
Bisimulation metrics provide a robust and accurate approach to study the behavior of
nondeterministic probabilistic processes. In this paper, we propose a logical characterization …
被引用次数：30 相关文章
[PDF] researchgate.net

[PDF][PDF] Logical Characterization of Bisimulation Metrics

V Castiglioni, D Gebler, S Tini - researchgate.net
Bisimulation metrics provide a robust and accurate approach to study the behavior of
nondeterministic probabilistic processes. In this paper, we propose a logical characterization …

Logical Characterization of Bisimulation Metrics

V Castiglioni, D Gebler, S Tini - arXiv e-prints, 2016 - ui.adsabs.harvard.edu
Bisimulation metrics provide a robust and accurate approach to study the behavior of
nondeterministic probabilistic processes. In this paper, we propose a logical characterization …

[引用][C] Logical Characterization of Bisimulation Metrics.

V Castiglioni, D Gebler, S Tini - QAPL, 2016 - research.tue.nl
Logical Characterization of Bisimulation Metrics. — Eindhoven University of Technology
research portal Skip to main navigation Skip to search Skip to main content Eindhoven …

[引用][C] Logical Characterization of Bisimulation Metrics

V Castiglioni, D Gebler, S Tini - ELECTRONIC …, 2016 - irinsubria.uninsubria.it
Logical Characterization of Bisimulation Metrics IRIS IRIS Home Sfoglia Macrotipologie &
tipologie Autore Titolo Riviste Serie IT Italiano Italiano English English LOGIN 1.IRIS 2.SIARI …