王秋叶等人：将归纳不变量编码为障碍证书：通过差分凸规划进行合成。(2022) 日记账/corr/abs-2209-09703 10.48550/ARXIV.2209.09703 将归纳不变量编码为屏障证书：通过差分凸编程进行综合。 5 王秋叶 1 陈明帅 2 白雪0001 三 詹乃军（Naijun Zhan） 4 Joost-Pieter Katoen公司 5 CoRR公司 CoRR公司 abs/2209.09703 2022 dblp记录“journals/corr/abs-2209-09703”的RDF数据的出处信息 2022-09-28T15:17:28+0200