Publication

[LiCZL20] 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 Information and Computation, 2020. doi.. 
Downloads: bib