Journal ArticleOPEN ACCESS

Probabilistic bisimulation

  • Panangaden P
ACM SIGLOG News (2015) 2(3) 72-84
DOI: 10.1145/2815493.2815501
N/ACitations
Citations of this article
9Readers
Mendeley users who have this article in their library.

Abstract

This is a very personal review of the definition of probabilistic bisimulation on continuous state spaces and the logical characterization theorem. I only consider fully probabilistic reactive systems.

Cite

CITATION STYLE

APA

Panangaden, P. (2015). Probabilistic bisimulation. ACM SIGLOG News, 2(3), 72–84. https://doi.org/10.1145/2815493.2815501

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