Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods

Giorgio Bacci, Giovanni Bacci, Kim G. Larsen +3

We introduce polynomial couplings, a generalization of probabilistic couplings, to develop an algorithm for the computation of equivalence relations which can be interpreted as a l…