Volokh, S.; Halfond, W. G. Automatically Defining Game Action Spaces for Exploration Using Program Analysis. AIIDE 2023, 19, 145-154.