陶然·吴 Yiqing余 碧灿霞 Ji Wang（音译） 白雪0001 随机动力系统安全概率不变性验证框架。 2024 abs/2404.09007 CoRR公司 https://doi.org/10.48550/arXiv.2404.09007 数据库/期刊/corr/corr2404.html#abs-2404-09007