Efficient Algorithms for Omega-Regular Energy Games (Q6488464)
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 7676981
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient Algorithms for Omega-Regular Energy Games |
scientific article; zbMATH DE number 7676981 |
Statements
Efficient Algorithms for Omega-Regular Energy Games (English)
0 references
21 April 2023
0 references
0 references
0 references
0.89739406
0 references
0.8886862
0 references
0.8886862
0 references
0.8731611
0 references
0.86664015
0 references
0.8651214
0 references
0.8545546
0 references
0 references
