TY  - RPRT
TI  - Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming
AU  - Qiuye Wang
AU  - Mingshuai Chen
AU  - Bai Xue
AU  - Naijun Zhan
AU  - Joost-Pieter Katoen
PY  - 2021
UR  - https://arxiv.org/abs/2105.14311
ID  - 2105.14311
ER  -