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