Paper at CONCUR 2024

The paper entitled “A Spectrum of Approximate Probabilistic Bisimulations” by Timm Spork (TU Dresden), Christel Baier (TU Dresden), Joost-Pieter Katoen, Jakob Piribauer (TU Dresden) and Tim Quatmann has been accepted for the 35th Int. Conf. on Concurrency Theory (CONCUR) in Calgary, Canada. The paper compares several different (and some new) notions of approximate strong and weak approximate probabilistic bisimulation relations and relates them.