Game Refinement Relations and Metrics

Luca de Alfaro, Rupak Majumdar, Vishwanath Raman +1

We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a success…