Reach-Avoid Verification Based on Convex Optimization.

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

Published in: IEEE Trans. Autom. Control. (2024)

Keyphrases

convex optimization
interior point methods
low rank
total variation
primal dual
convex programming
convex optimization problems
convex relaxation
augmented lagrangian
norm minimization
higher order
low rank matrix
convex constraints
object recognition
np hard
alternating direction method of multipliers