Details for the publication LiCZL21.

Yong Li, Yu-Fang Chen (), Lijun Zhang, Depeng Liu: A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. In Inf. Comput. 281:104678, 2021. DOI BIB