TY  - RPRT
TI  - On the Complexity of the Equivalence Problem for Probabilistic Automata
AU  - Stefan Kiefer
AU  - Andrzej S. Murawski
AU  - Joël Ouaknine
AU  - Björn Wachter
AU  - James Worrell
PY  - 2012
UR  - https://arxiv.org/abs/1112.4644
ID  - 1112.4644
ER  -