Page 23 - 《软件学报》2025年第5期

杨紫萱 等: 基于 PAC 学习的组合式概率障碍证书生成 1923

Modeling and Analysis of Timed Systems. Berlin: Springer, 2017. 303–317. [doi: 10.1007/978-3-319-65765-3_17]
[40] Abate A, Ahmed D, Edwards A, Giacobbe M, Peruffo A. FOSSIL: A software tool for the formal synthesis of lyapunov functions and
barrier certificates using neural networks. In: Proc. of the 24th Int’l Conf. on Hybrid Systems: Computation and Control. Nashville:
ACM, 2021. 24. [doi: 10.1145/3447928.3456646]
[41] Llibre J, Valls C. On the integrability of the Einstein-Yang-Mills equations. Journal of Mathematical Analysis and Applications, 2007,
336(2): 1203–1230. [doi: 10.1016/j.jmaa.2007.03.049]

附中文参考文献:
[12] 甘庭, 夏壁灿. 运用栅栏函数验证连续系统的有界时间安全性. 软件学报, 2016, 27(3): 645–654. http://www.jos.org.cn/1000-9825/
4986.htm [doi: 10.13328/j.cnki.jos.004986]
[36] 赵庆晔, 王豫, 李宣东. 安全的混成系统神经网络控制器生成与验证. 软件学报, 2023, 34(7): 2981–3001. http://www.jos.org.cn/1000-
9825/6857.htm [doi: 10.13328/j.cnki.jos.006857]

杨紫萱(2000－), 女, 硕士生, 主要研究领域为智 王建林(1978－), 男, 博士, 副教授, CCF 专业会
能系统分析与验证. 员, 主要研究领域为人工智能, 符号计算, 工业软
件开发.

曾霞(1987－), 女, 博士, 副教授, CCF 专业会员, 曾振柄(1963－), 男, 博士, 教授, 博士生导师, 主
主要研究领域为智能系统分析与验证, 优化理 要研究领域为计算机数学, 人工智能程序设计.
论, 符号-数值混合计算.

任勐鑫(2002－), 男, 硕士生, CCF 学生会员, 主 杨争峰(1980－), 男, 博士, 教授, 博士生导师, 主
要研究领域为智能系统分析与验证, 强化学习. 要研究领域为计算机数学, 形式化方法.