Probabilistic bisimulation: Naturally on distributions

34Citations
Citations of this article
7Readers
Mendeley users who have this article in their library.
Get full text

Abstract

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 paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition refines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a longstanding open problem concerning the representation of memoryless continuous time by memoryfull continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems. © 2014 Springer-Verlag.

Cite

CITATION STYLE

APA

Hermanns, H., Krčál, J., & Křetínský, J. (2014). Probabilistic bisimulation: Naturally on distributions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8704 LNCS, pp. 249–265). Springer Verlag. https://doi.org/10.1007/978-3-662-44584-6_18

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free