"Alpaga: A Tool for Solving Parity Games with Imperfect Information."

Dietmar Berwanger et al. (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics