Probabilistic Bisimulation: Naturally on Distributions

Holger Hermanns, Jan Krčál, Jan Křetínský

In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this pa…