. . . “Qiuye Wang et al.：通过凸规划的差分综合不变屏障证书。（2021）”。 _：ID_52bc5092e35bb613b54048ed28274f14。_：ID_52bc5092e35bb613b54048ed28274f14 ._：ID_52bc5092e35bb613b54048ed28274f14 ._：ID_52bc5092e35bb613b54048ed28274f14“期刊/corr/abs-2105-14311”。 _：ID_61ee3fe42dd0c8a613877c55a1166cb8。_：ID_61ee3fe42dd0c8a613877c55a1166cb8 ._：ID_61ee3fe42dd0c8a613877c55a1166cb8 ._：ID_61ee3fe42dd0c8a613877c55a1166cb8"2105.14311" . “通过凸编程的差异来合成不变量屏障证书。”。 . . . . . . "5"^^. _：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_1。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_1 ._：信号3f9e6f6fd7ef5157a22267ca1cbaea58_1“王秋叶”。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_1 ._：信号3f9e6f6fd7ef5157a22267ca1cbaea58_1"1"^^._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_1 . _：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_2。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_2 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_2“陈明帅”。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_2 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_2"2"^^._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_2 . _：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_3。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_3 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_3“白雪0001”。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_3 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_3"3"^^._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_3 . _：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_4。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_4 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_4“Naijun Zhan”。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_4 ._：信号3f9e6f6fd7ef5157a22267ca1cbaea58_4"4"^^._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_4 . _：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_5。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_5 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_5“Joost-Pieter Katoen”。_：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_5 ._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_5"5"^^._：Sig_3f9e6f6fd7ef5157a2267ca1cbaea58_5 . . . . “CoRR”。 “CoRR”。 “abs/2105.14311”。 "2021"^^. “dblp记录'journals/corr/abs-2105-14311'的RDF数据的来源信息”。 . . . “2021-06-02T11:46:42+0200”。