Alpaga：一种解决不完全信息平价博弈的工具
Alpaga: A Tool for Solving Parity Games with Imperfect Information
摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
