Probabilistic bisimulation

Last updated Aug 7, 2023

• Monoidal automata
• Bisimulation