DOI10.1007/978-3-030-71995-1_20MaRDI QIDQ2233423
Orna Kupferman, Salomon Sickert
Publication date: 18 October 2021
Full work available at URL: https://arxiv.org/abs/2101.08756
zbMATH Keywords
expressive power; games; automata on infinite words
Mathematics Subject Classification ID
68Qxx: Theory of computing
68Nxx: Theory of software