GAVS+: An Open Platform for the Research of Algorithmic Game Solving.

Chih-Hong Cheng, Alois C. Knoll, Michael Luttenberger, Christian Buckl

Browse the full TACAS paper archive.