5 citations · 10 across the 4 of their papers we have counts for
4 papers
A Categorical Framework for Learning Generalised Tree Automata
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot +2
Automata learning is a popular technique used to automatically construct an automaton model from queries. Much research went into devising ad hoc adaptations of algorithms for diff…
A (co)algebraic theory of succinct automata
Gerco van Heerdt, Joshua Moerman, Matteo Sammartino +1
The classical subset construction for non-deterministic automata can be generalized to other side-effects captured by a monad. The key insight is that both the state space of the d…
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…
Convex Language Semantics for Nondeterministic Probabilistic Automata
Gerco van Heerdt, Justin Hsu, Joël Ouaknine +1
We explore language semantics for automata combining probabilistic and nondeterministic behavior. We first show that there are precisely two natural semantics for probabilistic aut…