李永汉等：连续摄动确定性系统有限时间安全验证的逆向障碍证明。（2024年） 轴颈/corr/abs-2402-17167 10.48550/ARXIV.2402.17167 连续摄动确定性系统有限时间安全验证的逆向屏障证书。 5 李永汉 1 吴晨雨 2 吴陶然 三 王世杰 4 白雪0001 5 CoRR公司 CoRR公司 abs/2402.17167 2024 dblp记录'journals/corr/abs-2402-17167'的RDF数据的来源信息 2024-03-25时间15:38:17+0100