Tobias Kappé

A Categorical Framework for Learning Generalised Tree Automata

2020 · arXiv (Cornell University)

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 different types of automata. The CALF project seeks to …