MazeChase

A screenshot of 'Maze Chase' used in (Kalyanpur and Simon, 2001).