"Speeding Up Logico-Numerical Strategy Iteration."

David Monniaux, Peter Schrammel (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics