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]
No references recorded for this publication.
No citations of this publication recorded.