On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

Browse the full FM paper archive.