学报告(4月13日):Buechi 从动机的学习算法-·_皇冠游戏网址_皇冠游戏网站_2019皇冠游戏专区

迎接访问·!

English    Русскийязык

学报告(4月13日):Buechi 从动机的学习算法

2017-04-13 14:10

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

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

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

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

告知地点:经管院1c06233

·科技处

2017年4月6日