A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees

Yong Li, Yu-Fang Chen, Lijun Zhang +1