Game Refinement Relations and Metrics


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 successor state. It is often advantageous for players to choose probability distributions over moves, rather than single moves. Given a goal (e.g., “reach a target state”), the question… (More)
DOI: 10.2168/LMCS-4(3:7)2008


6 Figures and Tables

Slides referencing similar topics