2 citations · 3 across the 6 of their papers we have counts for
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…