Alpaga: A Tool for Solving Parity Games with Imperfect Information

Details Alpaga: A Tool for Solving Parity Games with Imperfect Information Alpaga: A Tool for Solving Parity Games with Imperfect Information

2009-01-29

arxiv.org/abs/0901.4728v1

Computer Science

Computer Science and Game Theory

11 pages, a shorter version to appear in TACAS 2009

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Alpaga: A Tool for Solving Parity Games with Imperfect Information does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Alpaga: A Tool for Solving Parity Games with Imperfect Information, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Alpaga: A Tool for Solving Parity Games with Imperfect Information will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-13925