米钧日(1995-),男,硕士生,主要研究领域为组合验证,时间自动机理论,模型学习;
安杰(1990-),男,博士,主要研究领域为形式化方法,机器学习,模型学习,系统识别;
张苗苗(1971-),女,博士,研究员,博士生导师,主要研究领域为智能系统学习,人工智能的形式化验证,模型学习和验证;
杜博闻(1991-),男,博士生,主要研究领域为人工智能,智能系统,移动计算与软件工程.
张苗苗,E-mail:miaomiao@tongji.edu.cn
TP311
国家自然科学基金(61972284,62032019)
米钧日,张苗苗,安杰,杜博闻.运用时间分类树的确定单时钟时间自动机学习.软件学报,2022,33(8):2797-2814
复制