Speeding Up Logico-Numerical Strategy Iteration.

David Monniaux, Peter Schrammel

Browse the full SAS paper archive.