6355 search results - page 276 / 1271 » From Logic to Games |
161
click to vote
FSEN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We analyze a model of fault-tolerant systems in a probabilistic setting. The model has been introduced under the name of “sabotage games”. A reachability problem over...
147
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We address a discrete-time, pursuit-evasion game with alternate moves played between two kinds of players: the pursuer and the evader. The pursuer wishes to capture the evader w...
176
click to vote
ICIW
2008
IEEE
16 years 1 months ago
2008
IEEE
As the evolution of computer technology introduces new advances in networks among others, online gaming becomes a new trend. Following the trends of our era, Games At Large IST Pr...
148
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
— Consider the situation in which a decision maker (Actor) has to decide which of several available resources to use in the presence of an adversary (called Controller) that can ...
202
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...