Havens model a certain class of strategies for an evader in a pursuit–evasion game in which fewer than  pursuers attempt to capture a single evader, the pursuers and evader are both restricted to the vertices of a given undirected graph, and the positions of the pursuers and evader are known to both players.
Havens designs strategies for an evader in a pursuit-evasion game where fewer than  pursuers attempt to capture one evader. The game is played on an undirected graph with the pursuers and evader's locations visible to all players, and Havens models these evasion tactics.