… metrics for … a generalization of this metric which allows to deal with a wider class of properties,
such as those used in security and privacy. More precisely, we propose a family of metrics, …

… we generalize prior value function bounds for bisimulation … generalize previous value function
bounds, we assume the existence of a unique bisimulation metric for p-Wasserstein metrics…

… to properly extend these bisimulation metrics to MDPs with … scheme for metrics based
on bisimulation for continuous … the following metric generalization of bisimulation for finite …

… The same is true for bm: although in the literature it is typically defined as the ∧d of
bisimulation metrics, we show in Section 4.1 that it can be constructed as the ∧ of bisimulation …

… by the bisimulation metric. Up to our knowledge, this is the first characterization of bisimulation
metric … Hence, we aim to extend our results to other lifting functionals, like the generalized …

… 2 Some of these contributions work with analytic spaces, which are generalization of the
Borel measurable ones that this work focuses on. However, since the properties of analytic …

… We proceed to generalize the approach of [5] to a more flexible procedure, which allows
one to incorporate heuristics and different types of information about the state space both in …

… generalization based on the LSR that we propose to learn. In a similar vein to [25], [1] also
base their approach on π-bisimulation metrics… distances assigned by a bisimulation metric, the …

… us to generalize from the particular branching type of a transition system. We are interested
in … notions (classical bisimulation) as well as quantitative notions (bisimulation metrics). Our …

We develop a new bisimulation (pseudo)metric for weighted finite automata (WFA) that
generalizes Boreale's linear bisimulation relation. Our metrics are induced by seminorms on the …