Dominik Schmitz, Jens Vöge. Implementation of a Strategy Improvement Algorithm for Finite-State Parity Games. In Sheng Yu, Andrei Paun, editors, Implementation and Application of Automata, 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers. Volume 2088 of Lecture Notes in Computer Science, pages 263-271, Springer, 2000. [doi]
Abstract is missing.