Sciweavers

89 search results - page 2 / 18
» Admissibility in Infinite Games
Sort
View
ICALP
2009
Springer
14 years 5 months ago
A Survey of Stochastic Games with Limsup and Liminf Objectives
A stochastic game is a two-player game played on a graph, where in each state the successor is chosen either by one of the players, or according to a probability distribution. We s...
Krishnendu Chatterjee, Laurent Doyen, Thomas A. He...
GLOBECOM
2008
IEEE
13 years 5 months ago
Analysis of Load-Balanced Switch with Finite Buffers
Recently the Birkhoff-von Neumann load-balanced (LB) switch has become a promising switch design due to its high scalability properties and simple control. The performance of the L...
Yury Audzevich, Yoram Ofek, Miklós Telek, B...
ATAL
2008
Springer
13 years 7 months ago
Emerging coordination in infinite team Markov games
In this paper we address the problem of coordination in multi-agent sequential decision problems with infinite statespaces. We adopt a game theoretic formalism to describe the int...
Francisco S. Melo, M. Isabel Ribeiro
APAL
2008
104views more  APAL 2008»
13 years 5 months ago
Infinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
Paul Blain Levy
FOSSACS
2008
Springer
13 years 6 months ago
Stochastic Games with Lossy Channels
We consider turn-based stochastic games on infinite graphs induced by game probabilistic lossy channel systems (GPLCS), the game version of probabilistic lossy channel systems (PLC...
Parosh Aziz Abdulla, Noomene Ben Henda, Luca de Al...