@misc{indiciaea77e1b1cd5de,
  title = {Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming},
  author = {Qiuye Wang and Mingshuai Chen and Bai Xue and Naijun Zhan and Joost-Pieter Katoen},
  year = {2021},
  url = {https://arxiv.org/abs/2105.14311},
  note = {Source identifier: 2105.14311}
}