对弈必胜策略的符号化模型检测

摘要：

本文对对弈必胜策略的符号化模型检测进行了研究。文章围绕符号化模型检测、必胜策略的形式化验证方法及实例分析进行了论述。

关键词： 集成电路检测 符号化模型 对弈验证

作者: 何青 骆翔宇 苏开乐

作者单位: 中山大学计算机科学系,广州,510275;湖南文理学院计算机科学系,常德,415000 中山大学计算机科学系,广州,510275;暨南大学计算机科学系,广州,510632 中山大学计算机科学系,广州,510275

会议类型: 国内会议

会议名称: 2006年全国理论计算机科学学术年会

会议地点: 长春

会议语种:中文

页码: 266-268

在线出版日期: 2006-08-09（万方平台首次上网日期，不代表论文的发表时间）