1 paper · 1 filter
David Monniaux, Helmut Seidl
Max-policy iteration is an approach to computing precise numeric program invariants by successive attempts at resolving maximum operators and reduction to mathematical optimization…