A delayed promotion policy for parity games (Q1784960)
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 6944941
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A delayed promotion policy for parity games |
scientific article; zbMATH DE number 6944941 |
Statements
A delayed promotion policy for parity games (English)
0 references
27 September 2018
0 references
parity games
0 references
infinite-duration games on graphs
0 references
formal methods
0 references
0 references
0.996955931186676
0 references
0.8983240127563477
0 references
0.892745316028595
0 references
0.8195201754570007
0 references
0.8098633885383606
0 references
