白雪等：基于凸优化的可达性验证。(2022) 日记账/corr/abs-2208-08105 10.48550/ARXIV.2208.08105 基于凸优化的可达性验证。 5 白雪0001 1 詹乃军（Naijun Zhan） 2 马丁·弗伦泽 三 纪旺0001 4 刘万伟 5 CoRR公司 CoRR公司 abs/2208.08105 2022 dblp记录“journals/corr/abs-2208-08105”的RDF数据的来源信息 2023-11-14T20:02:10+0100