h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Spork, Timm
%A Baier, Christel
%A Katoen, Joost-Pieter
%A Piribauer, Jakob
%A Quatmann, Tim
%T A Spectrum of Approximate Probabilistic Bisimulations
%V 311
%C Wadern
%I Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
%M RWTH-2025-02073
%B Leibniz international proceedings in informatics
%P 37:1-37:19
%D 2024
%< 35th International Conference on Concurrency Theory : CONCUR 2024, September 9-13, 2024, Calgary, Canada / edited by Rupak Majumdar, Alexandra Silva
%B 35. International Conference on Concurrency Theory
%C 9 Sep 2024 - 13 Sep 2024, Calgary (Canada)
Y2 9 Sep 2024 - 13 Sep 2024
M2 Calgary, Canada
%K Abstraction (Other)
%K Approximate bisimulation (Other)
%K Markov chains (Other)
%K Model checking (Other)
%K Theory of computation → Logic and verification (Other)
%K Theory of computation → Random walks and Markov chains (Other)
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.4230/LIPICS.CONCUR.2024.37
%U https://publications.rwth-aachen.de/record/1005879