A Lattice-Theoretical View of Strategy Iteration.

Paolo Baldan, Richard Eggert, Barbara Knig, Tommaso Padoan

Browse the full CSL paper archive.