近日，The 39th Annual AAAI Conference on Artificial Intelligence（AAAI 2025）公布了论文录用结果。我院智能软件工程团队的23级硕士研究生张雄祺作为第一作者撰写的学术论文“Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network” 被成功录用。智能软件工程团队林望教授为该论文通讯作者，其他合作者包括23级硕士生徐俊伟、相东明副教授，以及团队负责人丁佐华教授，浙江理工大学为唯一完成单位。
会议介绍
AAAI会议创办于1987年，由国际人工智能促进协会主办的年会，是人工智能领域中历史最悠久、研究方向最广的国际前沿顶级学术会议之一，同时也是中国计算机学会（CCF）推荐的A类国际学术会议。本届会议的有效投稿量达12957篇，录用3032篇论文，录用率约为23.4%。本届会议将于2025年2月25日至3月4日在美国宾夕法尼亚州举行。
论文简介
人工智能组件已被广泛应用于无人驾驶飞机、自主驾驶汽车等安全攸关系统。如何保障这些智能系统的安全可信，是当前国际学术领域面临的关键难题。本论文提出了一种基于Fourier KAN障碍证书的神经网络控制系统的安全性验证框架，利用FourierKAN增强了神经障碍证书的训练能力，并运用SMT求解和Lipschitz方法协同保证Fourier KAN障碍证书的正确性。该方法有效提升了神经障碍证书的构造效率和成功率，为智能系统的安全性保障提供了理论支撑。
我院智能软件工程团队由丁佐华教授领衔，重点攻关面向人机物融合的智能化软件领域关键难题。团队依托国家自然科学基金重点项目、国家自然科学基金应急管理（重点）项目、浙江省尖兵领雁攻关项目等，取得了软件分析与验证、软件测试与修复、自主无人智能系统等多个方向的研究成果。这些成果已在FSE2024、ASE2024、AAAI2025、IEEE TSE、IEEE TCAD、IEEE TIFS等国际顶级会议和期刊上发表，并荣获3项国际会议杰出论文奖和2项国际会议最佳论文提名奖。
来源：浙江理工计算机科学与技术学院（人工智能学院）
中文核心期刊
中国科技核心期刊
中国科学引文数据库来源期刊
CCF计算领域高质量科技期刊
我们在不断努力和完善中，期待您的关注和支持！
