A novel learning algorithm for Büchi automata based on family of DFAs and classification trees
scientific article; zbMATH DE number 7433278
scientific article