题目：Analyzing Robustness of Angluin's L* Algorithm in Presence of Noise
主讲人：LinaYe
时间：2023-7-28 14:00
地点：弘毅楼16-208
举办部门：数学与计算机学院
主讲人简介：LinaYe教授，巴黎萨克雷大学University Paris-Saclay，中央理工-高等电力学院CentraleSupélec 的计算机，形式化方法实验室进行研究工作。研究的主方向包括使用形式化方法验证复杂系统的特性，人工智能和形式化方法的结合，以及文本情绪识别等。
