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