@misc{indiciaeba17051b285b,
  title = {Alpaga: A Tool for Solving Parity Games with Imperfect Information},
  author = {Dietmar Berwanger and Krishnendu Chatterjee and Martin De Wulf and Laurent Doyen and Thomas A. Henzinger},
  year = {2009},
  url = {https://arxiv.org/abs/0901.4728},
  note = {Source identifier: 0901.4728}
}