Polynomial inference of universal automata from membership and equivalence queries

Johanna Björklund, Henning Fernau, Anna Kasprzik. Polynomial inference of universal automata from membership and equivalence queries. Inf. Comput., 246:3-19, 2016. [doi]