3 citations · 4 across the 6 of their papers we have counts for
1 paper · 1 filter
Irmak Sağlam, Georg Zetzsche
In the theory of games on infinite-state arenas, there is a stark contrast between (i) recursion-based models such as pushdown systems and extensions on one hand, and (ii) counter-…