Browsing by Author "López-Acedo, Genaro"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    A Quantitative Analysis of the “Lion-Man” Game
    (Oberwolfach : Mathematisches Forschungsinstitut Oberwolfach, 2019) Kohlenbach, Ulrich; López-Acedo, Genaro; Nicolae, Adriana
    In this paper we analyze, based on an interplay between ideas and techniques from logic and geometric analysis, a pursuit-evasion game. More precisely, we focus on a discrete lion and man game with an ε-capture criterion. We prove that in uniformly convex bounded domains the lion always wins and, using ideas stemming from proof mining, we extract a uniform rate of convergence for the successive distances between the lion and the man. As a byproduct of our analysis, we study the relation among different convexity properties in the setting of geodesic spaces.