Pages that link to "Item:Q2881067"
From MaRDI portal
The following pages link to Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis (Q2881067):
Displaying 7 items.
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Certification of real inequalities: templates and sums of squares (Q2349133) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711486) (← links)
- Computer Aided Verification (Q5716589) (← links)
- Affine Loop Invariant Generation via Matrix Algebra (Q6487319) (← links)