%0 Journal Article %1 journals/corr/abs-2312-15416 %A Wu, Hao %A Feng, Shenghua %A Gan, Ting %A Wang, Jie %A Xia, Bican %A Zhan, Naijun %D 2023 %J CoRR %K dblp %T Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. %U http://dblp.uni-trier.de/db/journals/corr/corr2312.html#abs-2312-15416 %V abs/2312.15416

@article{journals/corr/abs-2312-15416, added-at = {2024-01-16T00:00:00.000+0100}, author = {Wu, Hao and Feng, Shenghua and Gan, Ting and Wang, Jie and Xia, Bican and Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/244154244c0bf5e42d0cd1b1dfbb9cd0f/dblp}, ee = {https://doi.org/10.48550/arXiv.2312.15416}, interhash = {569ec1b273e6c1cc88f83e6c2237ed6a}, intrahash = {44154244c0bf5e42d0cd1b1dfbb9cd0f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:15:31.000+0200}, title = {Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2312.html#abs-2312-15416}, volume = {abs/2312.15416}, year = 2023 }