李永汉 吴晨雨 吴陶然 王世杰 白雪0001 连续摄动确定性系统有限时间安全验证的逆向屏障证书。 2024 abs/2402.17167 CoRR公司 https://doi.org/10.48550/arXiv.2402.17167 db/journals/corr/corr2402.html#abs-2402-17167