Game Refinement Relations and Metrics

Abstract

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

Topics

6 Figures and Tables

Slides referencing similar topics