On the Metric-Based Approximate Minimization of Markov Chains

Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare. On the Metric-Based Approximate Minimization of Markov Chains. In Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl, editors, 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland. Volume 80 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Abstract

Abstract is missing.