guest ::
TY - CONF AU - Spork, Timm AU - Baier, Christel AU - Katoen, Joost-Pieter AU - Piribauer, Jakob AU - Quatmann, Tim TI - A Spectrum of Approximate Probabilistic Bisimulations VL - 311 CY - Wadern PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH M1 - RWTH-2025-02073 T2 - Leibniz international proceedings in informatics SP - 37:1-37:19 PY - 2024 T2 - 35. International Conference on Concurrency Theory CY - 9 Sep 2024 - 13 Sep 2024, Calgary (Canada) Y2 - 9 Sep 2024 - 13 Sep 2024 M2 - Calgary, Canada KW - Abstraction (Other) KW - Approximate bisimulation (Other) KW - Markov chains (Other) KW - Model checking (Other) KW - Theory of computation → Logic and verification (Other) KW - Theory of computation → Random walks and Markov chains (Other) LB - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8 DO - DOI:10.4230/LIPICS.CONCUR.2024.37 UR - https://publications.rwth-aachen.de/record/1005879 ER -