2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Orna Kupferman, Nir Lavee, Salomon Sickert
The automation of decision procedures makes certification essential. We suggest to use determinacy of turn-based two-player games with regular winning conditions in order to genera…