Documents The Algorithmics of Probabilistic Automata Weak Bisimulation Andrea Turrini Saarland University...

Slide 1 The Algorithmics of Probabilistic Automata Weak Bisimulation Andrea Turrini Saarland University based on a joint work with Holger Hermanns Slide 2 Andrea Turrini…

Documents The Algorithmics of Probabilistic Automata Weak Bisimulation

The Algorithmics of Probabilistic Automata Weak Bisimulation The Algorithmics of Probabilistic Automata Weak Bisimulation Andrea Turrini Saarland University based on a joint…