S. Volokh and W. G. Halfond, “Automatically Defining Game Action Spaces for Exploration Using Program Analysis”, AIIDE, vol. 19, no. 1, pp. 145-154, Oct. 2023.