Patrick Saint-Dizier
LSI Univ. Paul Sabatier, Toulouse, France
What's the Name of the Game? Formal Specification of Artificial Intelligence Games
Electronic Notes in Theoretical Computer Science (ENTCS)