Improving Priority Promotion for Parity Games by Benerecetti, M, Dell'Erba, D, Mogavero, F

“…Recently, a novel technique to compute dominions, called priority promotion, has been proposed, which is based on the notions of quasi dominion, a relaxed form of dominion, and dominion space. …”

A delayed promotion policy for parity games by Benerecetti, M, Dell'Erba, D, Mogavero, F

“…Recently, a novel technique to compute dominions, called priority promotion, has been proposed, which is based on the notions of quasi dominion, a relaxed form of dominion, and dominion space. …”