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