Login / Signup

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

Qiuye WangMingshuai ChenBai XueNaijun ZhanJoost-Pieter Katoen
Published in: CAV (1) (2021)
Keyphrases
  • convex programming
  • convex functions
  • convex optimization
  • interior point methods
  • linear programming
  • objective function
  • semidefinite programming
  • piecewise linear
  • primal dual
  • data points
  • kernel learning