A delayed promotion policy for parity games (Q1784960)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A delayed promotion policy for parity games |
scientific article |
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