@article{generalizingsdpbasedbarriercertificate,
  title = {On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains},
  author = {Hao Wu and Shenghua Feng and Ting Gan and Jie Wang and Bican Xia and Naijun Zhan},
  year = {2023},
  eprint = {2312.15416},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2312.15416v4},
}