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:
Inf. Comput. (2022)
Keyphrases
</>
convex programming
convex functions
convex optimization
functional programs
linear programming
interior point methods
inductive learning
linear program
primal dual
machine learning
kernel learning
image processing
objective function
convex sets
sufficient conditions
low rank