Seminator 2 can complement generalized Büchi automata via improved semi-determinization

DOI10.1007/978-3-030-53291-8_2zbMath1478.68120WikidataQ108123885 ScholiaQ108123885MaRDI QIDQ2226719

Jan Strejček, Alexandre Duret-Lutz, František Blahoudek

Publication date: 9 February 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-53291-8_2

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68-04: Software, source code, etc. for problems pertaining to computer science

Related Items

Seminator 2

Uses Software

• SPOT