Solving Games Without Determinization.

Thomas A. Henzinger, Nir Piterman

Browse the full CSL paper archive.