Verifying Maze-Like Game Levels With Model Checker SPIN. - Onur Tekik; Elif Sürer; Aysu Betin Can (IEEE Access, 2022)