Details for the publication LiST23.

Yong Li, Sven Schewe (), Qiyi Tang: A Novel Family of Finite Automata for Recognizing and Learning ω-Regular Languages. In Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I, volume 14215 of Lecture Notes in Computer Science, pages 53-73, 2023. DOI BIB