A Spectrum of Approximate Probabilistic Bisimulations

Timm Spork, Christel Baier, Joost-Pieter Katoen +2

This paper studies various notions of approximate probabilistic bisimulation on labeled Markov chains (LMCs). We introduce approximate versions of weak and branching bisimulation,…