主讲：李永明教授
报告题目：定量时序逻辑的计算问题
时间：2025年4月24日10:10-12:00
地点：8号教学楼多21教室
主办单位：数学与计算机应用学院
内容简介：随着系统规模的增加，确保系统的安全性和可靠性功能变得愈加重要。模型检测是一种形式化的自动验证技术，通过形式化方法发现系统潜在的缺陷，从而及早修正，保障系统的安全性和可靠性。本报告介绍了几类定量时序逻辑基于决策过程的最优策略模型检测问题，包含广义可能性计算树逻辑（GPoCTL）、广义可能性线性时序逻辑（GPoLTL）以及可能性多值计算树逻辑（MvCTL）。证明了系统模型满足系统性质最优策略的存在性，给出了定量时序逻辑的最优可能性的计算方法，以及对应的最优策略多项式时间的构造方法。此外，介绍一种在可能性模型检测中基于监督学习的模型量化方法。
欢迎广大师生前来聆听交流
报告人简介：李永明，博士，陕西师范大学二级教授，博士生导师，数学与计算机应用学院客座教授。主要研究方向：逻辑与计算、量子信息学与格上拓扑学。发表高层次论文200余篇，先后主持国家自然科学基金9项、以及973子课题、教育部博士点基金等省部级课题，先后4次获得教育部科技进步奖、陕西省科学技术奖，获得第三届教育部“高校青年教师奖”以及国务院政府津贴等。先后在清华大学、加拿大Alberta大学、澳大利亚悉尼科技大学、德国莱比锡大学、美国肯塔基大学等校访问和合作研究。（曾）担任国际IEEE计算智能模糊系统技术委员会委员、中国数学会理事、全国运筹学会智能计算学会副理事长、全国高等师范学校计算机教育委员会副理事长、中国系统工程学会模糊数学与模糊系统委员会副理事长、陕西省考试评价委员会副会长兼高等教育委员会理事长、中国计算机学会理论计算机学会理事等职。曾任多个国际国内会议的大会主席、程序委员会主席、组织委员会主席、委员等，并多次做特邀大会报告。在人才培养方面，多次荣获国家级教学成果奖、陕西省教学成果奖、校级教学成果奖、省优博论文指导教师奖。
