Darken, C. Level Annotation and Test by Autonomous Exploration: Abbreviated Version. AIIDE 2021, 3, 77-79.