This paper is concerned with continuous-time pursuit and evasion games.
Typically, we have a lion and a man in a metric space: they have the same
speed, and the lion wishes to catch the man while the man tries to evade
capture. We are interested in questions of the following form: is it the case
that exactly one of the man and the lion has a winning strategy?