28 citations · 38 across the 5 of their papers we have counts for
1 paper · 1 filter
Parosh Aziz Abdulla, Richard Mayr, Arnaud Sangnier +1
We consider parity games on infinite graphs where configurations are represented by control-states and integer vectors. This framework subsumes two classic game problems: parity ga…