​告知题目：Buechi从动机的学习算法

告知人简介：张立军，男，毕业于德国萨尔大学，博士，华夏科学院软件研究所计算机国家重要实验室，研究员。

告知内容简介：在模型检验理论创新、算法设计和工具实现三地方取得的收获。在理论上改善模型检验的状态空间爆炸的瓶颈，介绍了丰富的工具开发经历，和谐带领一起开起了多款概率模型检验工具，包括：PARAM、PASS、INFAMY、ProbHVer、CCMC相当模型检验工具。

告知时：2017年4月13日13:30

告知地点：经管院1c06233

·科技处

2017年4月6日