ALPAGA available !

Alpaga is a software tool computing strategies for imperfect information parity games, using antichains during the computations to gain efficiency. You can download it here.

To the best of our knowledge, Alpaga is the first tool solving such general games. You can encode in parity games of imperfect information the following problems:

• Finding strategies for games with omega-regular objectives
• Verification of 2 processes with variables, where processes can have private variables that is not accessible to the other; or controller vs. plant and synthesis of the plant with hidden variables.
• Synthesis of automata specification where the state of the automata is not visible, but only observations are visible

About the tool

The ALPAGA tool is an implementation of some of the theoretical results obtained by our research team. See the Antichain for Verification page for more details about antichain-based verification algorithms.

On this site, you can :

• Test Alpaga using our server
• Download the tool for local use
• Get information on how to use Alpaga
• Read about experimentations we plan to make to compare the performance of Alpaga to other tools
• Find the research papers where the theoretical background of Alpaga can be found