2026-07-22T22:18:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20809 2024-08-29T05:40:58Z ddc:004 open_access

A Spectrum of Approximate Probabilistic Bisimulations Spork, Timm Baier, Christel Katoen, Joost-Pieter Piribauer, Jakob Quatmann, Tim Markov chains Approximate bisimulation Abstraction Model checking This paper studies various notions of approximate probabilistic bisimulation on labeled Markov chains (LMCs). We introduce approximate versions of weak and branching bisimulation, as well as a notion of ε-perturbed bisimulation that relates LMCs that can be made (exactly) probabilistically bisimilar by small perturbations of their transition probabilities. We explore how the notions interrelate and establish their connections to other well-known notions like ε-bisimulation. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Timm Spork and Christel Baier and Joost-Pieter Katoen and Jakob Piribauer and Tim Quatmann 2024 Is Part Of LIPIcs, Volume 311, 35th International Conference on Concurrency Theory (CONCUR 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2024.37 urn:nbn:de:0030-drops-208099 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2024.37 eng https://creativecommons.org/licenses/by/4.0/legalcode