Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1518.68150 Inf. Comput. 281, Article ID 104678, 32 p. (2021). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Inf. Comput. 281, Article ID 104678, 32 p. (2021; Zbl 1518.68150) Full Text: DOI arXiv
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 208-226 (2017). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 10205, 208--226 (2017; Zbl 1453.68098) Full Text: DOI arXiv
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. (English) Zbl 1381.68049 Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 658-674 (2015). MSC: 68N30 41A05 PDFBibTeX XMLCite \textit{Y.-F. Chen} et al., Lect. Notes Comput. Sci. 9206, 658--674 (2015; Zbl 1381.68049) Full Text: DOI arXiv