Pages that link to "Item:Q435969"

The following pages link to Abstract interpretation meets convex optimization (Q435969):

Displaying 2 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)