OpenAlex
On the Complexity of the Equivalence Problem for Probabilistic Automata
Work