Efficient Parallel Strategy Improvement for Parity Games.

John Fearnley

Browse the full CAV paper archive.