近日，威廉希尔WilliamHill研究生陈韩悦、苏宇、米钧日在张苗苗研究员和西南大学刘志明教授指导下完成的论文“Learning Assumptions for Compositional Verification of Timed Automata”被2023 International Conference on Computer Aided Verification（CAV 2023）录用。
该论文针对实时系统验证过程中的状态空间爆炸问题，提出了一个基于学习的组合验证框架。在该框架中，作者设计一种模型转换算法以构建时钟重置信息和系统行为的双射，解决了学习过程复杂度过高问题；并设计启发式智慧老师以及两种学习加速策略。该框架展现出良好的实验效果，该研究工作为后续进一步研究实时系统的组合验证方法奠定了基础，具有较高的学术和应用价值。
CAV会议是世界公认的计算机软件理论领域顶级国际性学术会议，是中国计算机学会推荐的A类会议。会议于2023年7月17日-7月22日在法国巴黎召开，2021级直博生陈韩悦随张苗苗老师参会并作20分钟口头报告。
特此向张苗苗老师和陈韩悦、苏宇以及米钧日同学表示祝贺，也希望公司师生继续奋发图强，取得更卓越的科研成绩！
（软件工程理论与平台教研室供稿）
