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

计算机科学2006V01．33NQ．8(增刊) 对弈必胜策略的符号化模型检测 Model inGames SymbolicCheckingWinningStrategies 何青1-2骆翔宇1．3苏开乐1 (中山大学计算机科学系 广州510275)1(湖南文理学院计算机科学系 常德415000)2 (暨南大学计算机科学系 广州510632)3 zero-sum notbeensolved AbstractInthe whetherthereexists has two-playergames，verifying winningstrategies to of model itref