Categorical
Automata
Learning
Framework
modular design and development of automata learning algorithms, with correctness-by-construction guarantees