89 search results - page 1 / 18 » Admissibility in Infinite Games |
STACS
2007
Springer
13 years 11 months ago
2007
Springer
FSTTCS
1994
Springer
13 years 9 months ago
1994
Springer
Abstract. This paper surveys work on the synthesis of reactive programs which implement winning strategies in infinite two-person games. The representation of such games by Muller ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
In order to better understand reasoning involved in analyzing infinite games in extensive form, we performed the experiments in proof assistant Coq that are reported here.
CORR
2006
Springer
13 years 4 months ago
2006
Springer
We study two-player games of infinite duration that are played on finite or infinite game graphs. A winning strategy for such a game is positional if it only depends on the current...
UAI
2004
13 years 6 months ago
2004
We describe an algorithm for computing bestresponse strategies in a class of two-player infinite games of incomplete information, defined by payoffs piecewise linear in agents...