学术报告（4月13日）：Buechi 自动机的学习算法
?报告题目：Buechi自动机的学习算法
报告人简介：张立军，男，毕业于德国萨尔大学，博士，中国科学院软件研究所计算机国家重点实验室，研究员。
报告内容简介：在模型检验理论创新、算法设计和工具实现三方面取得的成果。在理论上改善模型检验的状态空间爆炸的瓶颈，介绍了丰富的工具开发经验，协调带领一起开发出了多款概率模型检验工具，包括：PARAM、PASS、INFAMY、ProbHVer、CCMC等模型检验工具。。
报告时间：2017年4月13日13:30
报告地点：经管院1c06233
佳木斯大学科技处
2017年4月6日
