@misc{indiciae1de7f9d532e0,
  title = {Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming},
  author = {Qiuye Wang and Mingshuai Chen and Bai Xue and Naijun Zhan and Joost-Pieter Katoen},
  year = {2022},
  url = {https://arxiv.org/abs/2209.09703},
  note = {Source identifier: 2209.09703}
}