تقرير
A Spectrum of Approximate Probabilistic Bisimulations
العنوان: | A Spectrum of Approximate Probabilistic Bisimulations |
---|---|
المؤلفون: | Spork, Timm, Baier, Christel, Katoen, Joost-Pieter, Piribauer, Jakob, Quatmann, Tim |
سنة النشر: | 2024 |
المجموعة: | Computer Science |
مصطلحات موضوعية: | Computer Science - 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. Comment: Full version of a paper accepted for publication at CONCUR 2024 |
نوع الوثيقة: | Working Paper |
URL الوصول: | http://arxiv.org/abs/2407.07584 |
رقم الأكسشن: | edsarx.2407.07584 |
قاعدة البيانات: | arXiv |
الوصف غير متاح. |