Advertisement

Alpaga: A Tool for Solving Parity Games with Imperfect Information

  • Dietmar Berwanger
  • Krishnendu Chatterjee
  • Martin De Wulf
  • Laurent Doyen
  • Thomas A. Henzinger
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5505)

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.

References

  1. 1.
    Berwanger, D., Chatterjee, K., De Wulf, M., Doyen, L., Henzinger, T.A.: Alpaga: A tool for solving parity games with imperfect information. Technical Report MTC-REPORT-2008-007, EPFL (2008), http://infoscience.epfl.ch/record/130681
  2. 2.
    Berwanger, D., Chatterjee, K., Doyen, L., Henzinger, T.A., Raje, S.: Strategy construction for parity games with imperfect information. In: van Breugel, F., Chechik, M. (eds.) CONCUR 2008. LNCS, vol. 5201, pp. 325–339. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Chatterjee, K., Doyen, L., Henzinger, T.A., Raskin, J.-F.: Algorithms for omega-regular games of incomplete information. Logical Methods in Computer Science 3(3:4) (2007)Google Scholar
  4. 4.
    McNaughton, R.: Infinite games played on finite graphs. Annals of Pure and Applied Logic 65(2), 149–184 (1993)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Zielonka, W.: Infinite games on finitely coloured graphs with applications to automata on infinite trees. Theoretical Computer Science 200, 135–183 (1998)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Dietmar Berwanger
    • 1
  • Krishnendu Chatterjee
    • 2
  • Martin De Wulf
    • 3
  • Laurent Doyen
    • 3
    • 4
  • Thomas A. Henzinger
    • 4
  1. 1.LSV, ENS Cachan and CNRSFrance
  2. 2.CE, University of CaliforniaSanta CruzUSA
  3. 3.Université Libre de Bruxelles (ULB)Belgium
  4. 4.École Polytechnique Fédérale de Lausanne (EPFL)Switzerland

Personalised recommendations