Some Remarks on Module 8
it is possible to weaken the requirement that the union of R and "low bisimilarity" is symmetric to the one that R is symmetric.
Since if R is symmetric and "low bisimilarity" is symmetric,
(which we can conclude from the second theorem on slide 18)
I think, it follows that the union of both is symmetric.
On slide 50 and 55 I think the reference should be to slide 11 instead of 10.
And what is meant by
"In the rest of this module, we use probabilistic bisimulations
instead of strong probabilistic bisimulations.".
Does it mean:
"In the rest of this module, we use the term 'probabilistic bisimulation'
instead of the term 'strong probabilistic bisimulation'."