https://hgpu.org/?p=17222
Efficient Parallel Strategy Improvement for Parity Games