Publication [LiCZL17] A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees Li, Y.; Chen, Y.-F.; Zhang, L. and Liu, D. In TACAS, pages 208-226, LNCS 10205, 2017.Downloads: bib
