Promptness in \(\omega \)-regular automata (Q4931280)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Promptness in -regular automata |
scientific article; zbMATH DE number 5795619
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Promptness in \(\omega \)-regular automata |
scientific article; zbMATH DE number 5795619 |
Statements
Promptness in ω-Regular Automata (English)
0 references
4 October 2010
0 references
0.8633407950401306
0 references
0.8612985610961914
0 references
0.7395017147064209
0 references
0.7344381809234619
0 references
0.7234220504760742
0 references
