[LiCZL21] 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 Inf. Comput., 281: 104678, 2021. doi.. 
Downloads: bibURL: https://doi.org/10.1016/j.ic.2020.104678