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

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

Browse the full CAV paper archive.