--- res: bibo_abstract: - 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.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Dietmar foaf_name: Berwanger, Dietmar foaf_surname: Berwanger - foaf_Person: foaf_givenName: Krishnendu foaf_name: Krishnendu Chatterjee foaf_surname: Chatterjee foaf_workInfoHomepage: http://www.librecat.org/personId=2E5DCA20-F248-11E8-B48F-1D18A9856A87 orcid: 0000-0002-4561-241X - foaf_Person: foaf_givenName: Martin foaf_name: De Wulf, Martin foaf_surname: De Wulf - foaf_Person: foaf_givenName: Laurent foaf_name: Doyen, Laurent foaf_surname: Doyen - foaf_Person: foaf_givenName: Thomas A foaf_name: Thomas Henzinger foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 bibo_doi: 10.1007/978-3-642-00768-2_7 bibo_volume: 5505 dct_date: 2009^xs_gYear dct_publisher: Springer@ dct_title: 'Alpaga: A tool for solving parity games with imperfect information@' ...