Solving parity games Definition (Parity game) G = V E , V A , R , : V N where
Solving parity games Definition (Parity game) G = V E , V A , R , : V N where V E is the set of vertices for Eve, V A is the set of vertices for Adam, R V V is the move relation, defines the parity
951 views • 11 slides