王秋叶等：通过凸规划的差分法合成不变障碍证书。(2021) 期刊/corr/abs-2105-14311 2105.14311 通过凸差分编程合成不变障碍证书。 5 王秋叶 1 陈明帅 2 白雪0001 三 詹乃军（Naijun Zhan） 4 Joost-Pieter Katoen公司 5 CoRR公司 CoRR公司 abs/2105.14311 2021 dblp记录“journals/corr/abs-2105-14311”的RDF数据的来源信息 2021-06-02T11:46:42+0200