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

相似书籍