Publication

[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.
Downloads: bib