Solving parity games via priority promotion
We consider parity games, a special form of two-player infinite-duration games on numerically labelled graphs, whose winning condition requires that the maximal value of a label occurring infinitely often during a play be of some specific parity. The problem has a rather intriguing status from a com...
Main Authors: | Benerecetti, M, Dell Erba, D, Mogavero, F |
---|---|
格式: | Conference item |
出版: |
Springer
2016
|
相似书籍
-
Improving Priority Promotion for Parity Games
由: Benerecetti, M, et al.
出版: (2016) -
A delayed promotion policy for parity games
由: Benerecetti, M, et al.
出版: (2016) -
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity Games
由: Massimo Benerecetti, et al.
出版: (2017-09-01) -
Smaller progress measures and separating automata for parity games
由: Daniele Dell'Erba, et al.
出版: (2022-09-01) -
Solving parity games using an automata-based algorithm
由: Di Stasio, A, et al.
出版: (2016)