Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods | IEEE Conference Publication | IEEE Xplore