Faster algorithms for mean-payoff parity games (Q5111253)
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 7204373
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Faster algorithms for mean-payoff parity games |
scientific article; zbMATH DE number 7204373 |
Statements
26 May 2020
0 references
graph games
0 references
mean-payoff parity
0 references
Büchi games
0 references
0 references
0.8891701102256775
0 references
0.8431329727172852
0 references
0.8270691633224487
0 references
0.8119765520095825
0 references
0.8113834857940674
0 references
