Pages that link to "Item:Q435969"
From MaRDI portal
The following pages link to Abstract interpretation meets convex optimization (Q435969):
Displaying 4 items.
- Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs (Q681342) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs (Q2260413) (← links)