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

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

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

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

Formal languages and automata (68Q45) Software, source code, etc. for problems pertaining to computer science (68-04)

Related Items (1)

Seminator 2

Uses Software

• SPOT

This page was built for publication: Seminator 2 can complement generalized Büchi automata via improved semi-determinization