{"file":[{"checksum":"d52b55a10a47b3e3b0e016ea9bf85c41","file_size":212180,"access_level":"open_access","creator":"system","date_updated":"2020-07-14T12:46:32Z","content_type":"application/pdf","date_created":"2018-12-12T10:15:45Z","file_id":"5168","relation":"main_file","file_name":"IST-2012-35-v1+1_Alpaga_-_A_tool_for_solving_parity_games_with_imperfect_information.pdf"}],"file_date_updated":"2020-07-14T12:46:32Z","intvolume":"      5505","publisher":"Springer","publist_id":"127","abstract":[{"text":"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.","lang":"eng"}],"extern":1,"oa":1,"conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems"},"citation":{"chicago":"Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,” 5505:58–61. Springer, 2009. <a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">https://doi.org/10.1007/978-3-642-00768-2_7</a>.","ama":"Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. Alpaga: A tool for solving parity games with imperfect information. In: Vol 5505. Springer; 2009:58-61. doi:<a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">10.1007/978-3-642-00768-2_7</a>","ieee":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, and T. A. Henzinger, “Alpaga: A tool for solving parity games with imperfect information,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, 2009, vol. 5505, pp. 58–61.","ista":"Berwanger D, Chatterjee K, De Wulf M, Doyen L, Henzinger TA. 2009. Alpaga: A tool for solving parity games with imperfect information. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 5505, 58–61.","mla":"Berwanger, Dietmar, et al. <i>Alpaga: A Tool for Solving Parity Games with Imperfect Information</i>. Vol. 5505, Springer, 2009, pp. 58–61, doi:<a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">10.1007/978-3-642-00768-2_7</a>.","short":"D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, in:, Springer, 2009, pp. 58–61.","apa":"Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., &#38; Henzinger, T. A. (2009). Alpaga: A tool for solving parity games with imperfect information (Vol. 5505, pp. 58–61). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Springer. <a href=\"https://doi.org/10.1007/978-3-642-00768-2_7\">https://doi.org/10.1007/978-3-642-00768-2_7</a>"},"publication_status":"published","doi":"10.1007/978-3-642-00768-2_7","author":[{"last_name":"Berwanger","full_name":"Berwanger, Dietmar","first_name":"Dietmar"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Krishnendu Chatterjee","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"De Wulf, Martin","last_name":"De Wulf","first_name":"Martin"},{"full_name":"Doyen, Laurent","last_name":"Doyen","first_name":"Laurent"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Henzinger","last_name":"Henzinger","orcid":"0000−0002−2985−7724"}],"date_published":"2009-03-09T00:00:00Z","main_file_link":[{"url":"https://repository.ist.ac.at/35/","open_access":"1"}],"day":"09","type":"conference","year":"2009","status":"public","date_created":"2018-12-11T12:09:35Z","alternative_title":["LNCS"],"pubrep_id":"35","date_updated":"2021-01-12T07:59:52Z","page":"58 - 61","month":"03","volume":5505,"_id":"4580","title":"Alpaga: A tool for solving parity games with imperfect information","quality_controlled":0}