A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata

Wen-Guey Tzeng. A Polynomial-Time Algorithm for the Equivalence of Probabilistic Automata. SIAM Journal on Computing, 21(2):216-227, 1992.

Abstract

Abstract is missing.