Equivalence of Labeled Markov Chains

Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin. Equivalence of Labeled Markov Chains. Int. J. Found. Comput. Sci., 19(3):549-563, 2008. [doi]

Abstract

Abstract is missing.