Alpaga：求解不完全信息奇偶博弈的工具
计算机科学与博弈论
2009-01-30 v1 计算机科学中的逻辑
摘要
Alpaga 是一个用于求解具有不完全信息的双人奇偶博弈的求解器。给定博弈的描述，它确定第一个玩家是否能确保获胜，如果可以，它将构造一个必胜策略。该工具提供了基于反链的近期算法的符号实现。
引用
@article{arxiv.0901.4728,
title = {Alpaga: A Tool for Solving Parity Games with Imperfect Information},
author = {Dietmar Berwanger and Krishnendu Chatterjee and Martin De Wulf and Laurent Doyen and Thomas A. Henzinger},
journal= {arXiv preprint arXiv:0901.4728},
year = {2009}
}
备注
11 pages, a shorter version to appear in TACAS 2009