Bisimilar States in Uncertain Structures

Jurriaan Rot, Thorsten Wißmann

We provide a categorical notion called uncertain bisimilarity, which allows to reason about bisimilarity in combination with a lack of knowledge about the involved systems. Such un…