17 citations · 24 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.FL2014★ 3 cited
Minimisation of Multiplicity Tree Automata
Stefan Kiefer, Ines Marusic, James Worrell
We consider the problem of minimising the number of states in a multiplicity tree automaton over the field of rational numbers. We give a minimisation algorithm that runs in polyno…
cs.LG2014★ 1 cited
Complexity of Equivalence and Learning for Multiplicity Tree Automata
Ines Marusic, James Worrell
We consider the complexity of equivalence and learning for multiplicity tree automata, i.e., weighted tree automata over a field. We first show that the equivalence problem is logs…