research
∙
09/20/2022
Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
A barrier certificate often serves as an inductive invariant that isolat...
research
∙
05/29/2021