"Logico-Numerical Max-Strategy Iteration."

Peter Schrammel, Pavle Subotic (2013)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics