Numerical Invariants through Convex Relaxation and Max-Strategy Iteration

Thomas Martin Gawlitza, Helmut Seidl

In this article we develop a max-strategy improvement algorithm for computing least fixpoints of operators on on the reals that are point-wise maxima of finitely many monotone and…