"CALF: Categorical Automata Learning Framework."

Gerco van Heerdt, Matteo Sammartino, Alexandra Silva (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics