Cargando…

Seminator 2 Can Complement Generalized Büchi Automata via Improved Semi-determinization

We present the second generation of the tool Seminator that transforms transition-based generalized Büchi automata (TGBAs) into equivalent semi-deterministic automata. The tool has been extended with numerous optimizations and produces considerably smaller automata than its first version. In connect...

Descripción completa

Detalles Bibliográficos
Autores principales: Blahoudek, František, Duret-Lutz, Alexandre, Strejček, Jan
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363224/
http://dx.doi.org/10.1007/978-3-030-53291-8_2