基于符号化模型检测的对弈必胜策略验证

• 作者: 何青 苏开乐 骆翔宇
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 符号化模型检测 二值判定图 对弈 必胜策略
• 年，卷（期）: 2008,（17）
• 所属期刊栏目: 理论研究
• 页码范围: 58-60
• 页数: 3页
• 分类号: TP301.2
• 字数: 3519字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.17.018

摘要

在对弈的研究中,验证对弈双方是否存在必胜策略的问题一直没能很好地解决,因为这涉及到超大规模的状态空间搜索.而随着符号化模型检测技术的发展,大规模系统的验证成为了可能.给出了使用符号化模型检测来验证对弈必胜策略的一般方法,并给出了一个井字棋必胜策略验证的实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苏开乐	中山大学信息科学与技术学院计算机科学系	22	309	11.0	17.0
2	骆翔宇	桂林电子科技大学计算机与控制学院计算机系	13	65	5.0	7.0
3	何青	湖南文理学院计算机科学与技术系	10	9	2.0	2.0