Probabilistic bisimulation
Prakash Panangaden · ACM SIGLOG News · 2015
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.