Computing Distances between Probabilistic Automata

Mathieu Tracol, Josée Desharnais, Abir Zhioua

We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisim…