One thing I'm curious about: is he actually sure the maze is solvable? I would guess the AI uses A* or something similar to solve and then gradually guides the

One thing I'm curious about: is he actually sure the maze is solvable? I would guess the AI uses A* or something similar to solve and then gradually guides the characters along, but maybe it stumbles if it's unsolvable. Or maybe it gives up after some search depth