Angluin, Dana; Fisman, Dana; Shoval, Yaara Polynomial identification of \(\omega \)-automata. (English) Zbl 1483.68153 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 325-343 (2020). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{D. Angluin} et al., Lect. Notes Comput. Sci. 12079, 325--343 (2020; Zbl 1483.68153) Full Text: DOI
Angluin, Dana; Boker, Udi; Fisman, Dana Families of DFAs as acceptors of \(\omega\)-regular languages. (English) Zbl 1398.68291 Log. Methods Comput. Sci. 14, No. 1, Paper No. 15, 21 p. (2018). MSC: 68Q45 PDFBibTeX XMLCite \textit{D. Angluin} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 15, 21 p. (2018; Zbl 1398.68291) Full Text: DOI arXiv