Login / Signup
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming.
Qiuye Wang
Mingshuai Chen
Bai Xue
Naijun Zhan
Joost-Pieter Katoen
Published in:
CoRR (2022)
Keyphrases
</>
convex programming
convex functions
linear programming
convex optimization
functional programs
interior point methods
primal dual
linear program
machine learning
inductive learning
semidefinite programming
convex sets
kernel learning
optimal solution
computational complexity