Home
Online Test
Download
User Manual
Papers
Experimental Results
FAQ
About
Antichains
A Tool Solving Imperfect Information Parity Games Using
About
Here are the people involved in Alpaga :
Dietmar Berwanger
Krishnendu Chatterjee
Martin De Wulf
Laurent Doyen
Thomas A. Henzinger