47 citations · 144 across the 34 of their papers we have counts for
1 paper · 2 filters
Tomas Brazdil, Stefan Kiefer, Antonin Kucera +1
We study termination time and recurrence time in programs with unbounded recursion, which are either randomized or operate on some statistically quantified inputs. As the underlyin…