Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
scientific article; zbMATH DE number 6021318