TY  - RPRT
TI  - On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains
AU  - Hao Wu
AU  - Shenghua Feng
AU  - Ting Gan
AU  - Jie Wang
AU  - Bican Xia
AU  - Naijun Zhan
PY  - 2024
UR  - https://arxiv.org/abs/2312.15416
ID  - 2312.15416
ER  -