2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/217829Alpaga 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.11 pages, a shorter version to appear in TACAS 2009Computer Science and Game TheoryLogic in Computer Sciencetext