7 citations · 26 across the 5 of their papers we have counts for
5 papers
Tree-Based Adaptive Model Learning
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
We extend the Kearns-Vazirani learning algorithm to be able to handle systems that change over time. We present a new learning algorithm that can reuse and update previously learne…
Canonical Automata via Distributive Law Homomorphisms
Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino +1
The classical powerset construction is a standard method converting a non-deterministic automaton into a deterministic one recognising the same language. Recently, the powerset con…
Learning Pomset Automata
Gerco van Heerdt, Tobias Kappé, Jurriaan Rot +1
We extend the L* algorithm to learn bimonoids recognising pomset languages. We then identify a class of pomset automata that accepts precisely the class of pomset languages recogni…
Optimizing Automata Learning via Monads
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Automata learning has been successfully applied in the verification of hardware and software. The size of the automaton model learned is a bottleneck for scalability, and hence opt…
CALF: Categorical Automata Learning Framework
Gerco van Heerdt, Matteo Sammartino, Alexandra Silva
Automata learning is a technique that has successfully been applied in verification, with the automaton type varying depending on the application domain. Adaptations of automata le…