Formalized Run-Time Analysis of Active Learning -- Coalgebraically in Agda

Thorsten Wißmann

The objective of automata learning is to reconstruct the implementation of a hidden automaton, to which only a teacher has access. The learner can ask certain kinds of queries to t…