Work

A Spectrum of Approximate Probabilistic Bisimulations

Year: 2024

Type: conference-paper

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 $\varepsilon$-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 $\varepsilon$-bisimulation.

Source: RWTH Publications (RWTH Aachen)

DOI: 10.4230/lipics.concur.2024.37

Authors: Spork, Timm, Baier, Christel, Katoen, Joost-Pieter, Piribauer, Jakob, Quatmann, Tim

Institutions: Technische Universität Dresden, RWTH Aachen University, Leipzig University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funder: Deutsche Forschungsgemeinschaft

Awards: EXC 2050: Centre for Tactile Internet with HumanintheLoop (CeTI), G1933938177, G3032849772, G4021765181, TRR 248: Grundlagen verständlicher SoftwareSysteme für eine nachvollziehbare cyberphysische Welt