3 citations · 4 across the 4 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…