C. Darken, “Level Annotation and Test by Autonomous Exploration: Abbreviated Version”, AIIDE, vol. 3, no. 1, pp. 77–79, Jun. 2007.