Alpaga: A Tool for Solving Parity Games with Imperfect Information

Alpaga: A Tool for Solving Parity Games with Imperfect Information
复制标题

Alpaga：解决不完全信息平价博弈的工具

DOI：
--
复制
发表时间：
2009
期刊：
International Conference on Tools and Algorithms for Construction and Analysis of Systems
影响因子：
--
通讯作者：
T. Henzinger
T. Henzinger
中科院分区：
--
文献类型：
--
作者：
Dietmar Berwanger;K. Chatterjee;M. Wulf;L. Doyen;T. Henzinger

文献摘要

被引文献

相似文献

Alpaga是具有不完美信息的两人同等游戏的求解器。鉴于游戏的描述，它决定了第一个玩家是否可以确保获胜，如果是的，它构建了获胜策略。该工具提供了基于抗细胞的最新算法的象征实现。
Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it constructs a winning strategy. The tool provides a symbolic implementation of a recent algorithm based on antichains.