Expressivity of Bisimulation Pseudometrics over Analytic State Spaces.

Daniel Luckhardt, Harsh Beohar, Clemens Kupke

Browse the full CALCO paper archive.