30 citations · 72 across the 17 of their papers we have counts for
3 papers · 1 filter
On the Metric-based Approximate Minimization of Markov Chains
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen +1
In this paper, we address the approximate minimization problem of Markov Chains (MCs) from a behavioral metric-based perspective. Specifically, given a finite MC and a positive int…
On the Axiomatizability of Quantitative Algebras
Radu Mardare, Prakash Panangaden, Gordon Plotkin
Quantitative algebras (QAs) are algebras over metric spaces defined by quantitative equational theories as introduced by the same authors in a related paper presented at LICS 2016.…
Free complete Wasserstein algebras
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
We present an algebraic account of the Wasserstein distances on complete metric spaces, for . This is part of a program of a quantitative algebraic theory of effect…