MaRDI QIDQ5101349
Orna Kupferman, Bader abu Radi
Publication date: 30 August 2022
Full work available at URL: https://arxiv.org/abs/2106.06745
zbMATH Keywords
minimization; canonization; co-Büchi acceptance condition; determinisitc automata on infinite words; good-for-games automata
Mathematics Subject Classification ID
03B70: Logic in computer science
68-XX: Computer science
Uses Software