7 citations · 26 across the 5 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017★ 2 cited
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…
cs.FL2017★ 7 cited
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…