Title: Verification of Games in the Game Description Language Authors: Ji Ruan, Wiebe van der Hoek, and Michael Wooldridge Abstract: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the AAAI General Game Playing Competition, which tests the ability of computer programs to play games in [...]

My joint paper with Wiebe and Mike with title “Verification of Games in the Game Description Language”, has been accepted by the Journal of Logic and Computation. This is my second journal paper. Here is the preview version (final draft). The first version was submitted on 8th August, 2008.

August 2009 Update: Final version is available here. July 2009 Update: This paper has been accepted by the JLC. March 2009 Update: The Journal of Logic and Computation (JLC) has sent us back the reviews, and we need a revision before it gets accepted.