%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