Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

Zhuan Khye Koh, Georg Loho. Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees. Logical Methods in Computer Science, 21(2), 2025. [doi]

Abstract

Abstract is missing.