欢迎访问澳门赌球平台!

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

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

2017-04-06 15:11

报告题目:Buechi自动机的学习算法
报告人概况:张立军,男,毕业于德国萨尔大学,博士,中国科学院App研究所计算机国家重点实验室,研究员。
报告内容概况:在模型检验理论创新、算法设计和工具实现三方面取得的成果。在理论上改善模型检验的状态空间爆炸的瓶颈,先容了丰富的工具开发经验,协调带领一起开发出了多款概率模型检验工具,包括:PARAMPASSINFAMYProbHVerCCMC等模型检验工具。。
报告时间:201741313:30
报告地点:经管院 1c06233


                澳门赌球平台科技处

                2017年4月6日

 

XML 地图 | Sitemap 地图