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 develops approaches for an evader in a pursuit-evasion contest involving less than  pursuers, with each player restricted to vertices of a given undirected graph, and their positions being known to both sides.