40 citations · 156 across the 43 of their papers we have counts for
Showing 2019 · cs.FLShow all
2 papers · 2 filters
cs.FL2019
Learning Weighted Automata over Principal Ideal Domains
Gerco van Heerdt, Clemens Kupke, Jurriaan Rot +1
In this paper, we study active learning algorithms for weighted automata over a semiring. We show that a variant of Angluin's seminal \LStar\ algorithm works when the semiring is a…
cs.FL2019★ 5 cited
Tree Automata as Algebras: Minimisation and Determinisation
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot +2
We study a categorical generalisation of tree automata, as -algebras for a fixed endofunctor endowed with initial and final states. Under mild assumptions about the base cat…