Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming.

Qiuye Wang Mingshuai Chen Bai Xue Naijun Zhan Joost-Pieter Katoen

Published in: CoRR (2021)

Keyphrases

convex programming
convex functions
interior point methods
linear programming
convex optimization
objective function
linear program
convex sets
primal dual
kernel learning
special case
semidefinite programming
machine learning
training set
quadratic programming