@inproceedings{b5a5ee5f500d4a1e891b05fe79e4732c,
title = "A Spectrum of Approximate Probabilistic Bisimulations",
abstract = "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.",
keywords = "Abstraction, Approximate bisimulation, Markov chains, Model checking",
author = "Timm Spork and Christel Baier and Katoen, {Joost Pieter} and Jakob Piribauer and Tim Quatmann",
note = "Publisher Copyright: {\textcopyright} Timm Spork, Christel Baier, Joost-Pieter Katoen, Jakob Piribauer, and Tim Quatmann.; 35th International Conference on Concurrency Theory, CONCUR 2024 ; Conference date: 09-09-2024 Through 13-09-2024",
year = "2024",
month = sep,
doi = "10.4230/LIPIcs.CONCUR.2024.37",
language = "English",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
editor = "Rupak Majumdar and Alexandra Silva",
booktitle = "35th International Conference on Concurrency Theory, CONCUR 2024",
}