A Simple and Optimal Complementation Algorithm for Büchi Automata (Q5145275)
From MaRDI portal
scientific article; zbMATH DE number 7298729
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Simple and Optimal Complementation Algorithm for Büchi Automata |
scientific article; zbMATH DE number 7298729 |
Statements
A Simple and Optimal Complementation Algorithm for Büchi Automata (English)
0 references
20 January 2021
0 references
Büchi automaton
0 references
benchmarking
0 references
complementation
0 references
optimal upper bound
0 references
