Logico-Numerical Max-Strategy Iteration.

Peter Schrammel, Pavle Subotic

Browse the full VMCAI paper archive.