盛华丰 陈明帅 白雪0001 Sriram Sankaranarayanan 0001号 詹乃军（Naijun Zhan） 随机微分动力学的无限时间安全验证。 327-348 2020 CAV（2） https://doi.org/10.1007/978-3-030-53291-8_18 conf/cav/2020-2 db/conf/cav/cav2020-2.html#FengC00Z20