Valentina Castiglioni: Open Problem: Defining branching bisimulation metrics


Event Details


We discuss the issues related to the definition of branching bisimulation metrics over simple probabilistic automata.