Publication

[LiST23] A novel family of finite automata for recognizing and learning ω-regular languages Li, Y.; Schewe, S. and Tang, Q. In ATVA, LNCS , 2023.
Downloads: bib