Up a level |
Dell'Erba, Daniele, Schewe, Sven ORCID: 0000-0002-9093-9518, Tang, Qiyi ORCID: 0000-0002-9265-3011 and Zhanabekova, Tansholpan
(2024)
Semantic flowers for good-for-games and deterministic automata.
Information Processing Letters, 185.
p. 106468.
Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven ORCID: 0000-0002-9093-9518 and Tang, Qiyi ORCID: 0000-0002-9265-3011
(2023)
A novel family of finite automata for recognizing and learning
$ω$-regular languages.
[Preprint]
Li, Yong ORCID: 0000-0002-7301-9234, Schewe, Sven and Tang, Qiyi ORCID: 0000-0002-9265-3011
(2023)
A novel family of finite automata for recognizing and learning
$ω$-regular languages.
[Preprint]