5 citations · 15 across the 13 of their papers we have counts for
1 paper · 1 filter
Ulrich Kohlenbach, Genaro López-Acedo, Adriana Nicolae
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 uniform betwee…