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…