TY - RPRT TI - Verification of Sequential Convex Programming for Parametric Non-convex Optimization AU - Rajiv Sambharya AU - Nikolai Matni AU - George Pappas PY - 2025 UR - https://arxiv.org/abs/2511.10622 ID - 2511.10622 ER -