A Spectrum of Approximate Probabilistic Bisimulations
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866916318705352704 |
|---|---|
| author | Spork, Timm Baier, Christel Katoen, Joost-Pieter Piribauer, Jakob Quatmann, Tim |
| author_facet | Spork, Timm Baier, Christel Katoen, Joost-Pieter Piribauer, Jakob Quatmann, Tim |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_07584 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A Spectrum of Approximate Probabilistic Bisimulations Spork, Timm Baier, Christel Katoen, Joost-Pieter Piribauer, Jakob Quatmann, Tim Logic in Computer Science 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. |
| title | A Spectrum of Approximate Probabilistic Bisimulations |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2407.07584 |