278 search results - page 2 / 56 » Quantitative Fairness Games |
ATVA
2009
Springer
14 years 5 months ago
2009
Springer
CORR
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
STOC
2001
ACM
14 years 11 months ago
2001
ACM
We consider two-player games played for an infinite number of rounds, with -regular winning conditions. The games may be concurrent, in that the players choose their moves simulta...
ICNP
2002
IEEE
14 years 3 months ago
2002
IEEE
Real-time, online multi-player games are becoming increasingly popular due to advances in game design and the proliferation of broadband Internet access. However, fairness remains...
AUSAI
2009
Springer
14 years 5 months ago
2009
Springer
Model checking games are instances of Hintikka’s game semantics for logic used for purposes of debugging systems verification models. Previous work in the area has developed the...