@misc{indiciaea5fd60c4af0e,
  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 = {2024},
  url = {https://arxiv.org/abs/2312.15416},
  note = {Source identifier: 2312.15416}
}