Convex optimization proves software correctness.

Mardavij Roozbehani Alexandre Megretski Eric Feron

Published in: ACC (2005)

Keyphrases

convex optimization
interior point methods
low rank
primal dual
convex relaxation
convex programming
operator splitting
norm minimization
convex optimization problems
total variation
convex formulation
augmented lagrangian
higher order
convex constraints
basis pursuit
semidefinite program
linear combination