GDL Meets ATL: A Logic for Game Description and Strategic Reasoning.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel

Browse the full PRICAI paper archive.