Seminator 2 can complement generalized Büchi automata via improved semi-determinization (Q2226719)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7307956
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Seminator 2 can complement generalized Büchi automata via improved semi-determinization |
scientific article; zbMATH DE number 7307956 |
Statements
Seminator 2 can complement generalized Büchi automata via improved semi-determinization (English)
0 references
9 February 2021
0 references
0.9002206
0 references
0.8589997
0 references
0.8460027
0 references
0.84008384
0 references
0.8380782
0 references
0.8361684
0 references
0.83341545
0 references
0.83336025
0 references
0.8328221
0 references
