Aalborg Universitet Onthe-Fly Computation of Bisimilarity Distances