L. Chung and E. D. Demaine, “Celeste is PSPACE-hard: Discrete and Computational Geometry, Graphs, and Games”, Thai J Math, vol. 21, no. 4, pp. 671–686, Dec. 2023.