TY - RPRT TI - CALF: Categorical Automata Learning Framework AU - Gerco van Heerdt AU - Matteo Sammartino AU - Alexandra Silva PY - 2017 UR - https://arxiv.org/abs/1704.05676 ID - 1704.05676 ER -