TY  - RPRT
TI  - Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming
AU  - Qiuye Wang
AU  - Mingshuai Chen
AU  - Bai Xue
AU  - Naijun Zhan
AU  - Joost-Pieter Katoen
PY  - 2022
UR  - https://arxiv.org/abs/2209.09703
ID  - 2209.09703
ER  -