TY  - RPRT
TI  - On the Complexity of Equivalence and Minimisation for Q-weighted Automata
AU  - Stefan Kiefer
AU  - Andrzej Murawski
AU  - Joel Ouaknine
AU  - Bjoern Wachter
AU  - James Worrell
PY  - 2013
DO  - 10.2168/lmcs-9(1:8)2013
UR  - https://arxiv.org/abs/1302.2818
ID  - 1302.2818
ER  -