On the metric-based approximate minimization of Markov Chains

Giovanni Bacci 0001, Giorgio Bacci, Kim G. Larsen, Radu Mardare. On the metric-based approximate minimization of Markov Chains. Journal of Logic and Algebraic Programming, 100:36-56, 2018. [doi]

Abstract

Abstract is missing.