Reach-avoid Verification Based on Convex Optimization.

Bai Xue Naijun Zhan Martin Fränzle Ji Wang Wanwei Liu

Published in: CoRR (2022)

Keyphrases

convex optimization
low rank
interior point methods
total variation
primal dual
convex optimization problems
convex relaxation
convex formulation
convex programming
norm minimization
augmented lagrangian
operator splitting
image restoration
higher order
denoising
semidefinite program
video sequences