Formalizing Escape Game Mechanics: A Graph-Theoretical Framework for Modeling and Analyzing Puzzle-Based Environments. - Gonzague Yernaux; Martin Verjans; Wim Vanhoof (GALA, 2025)