Sciweavers

1319 search results - page 125 / 264
» Playing the Expert Game
Sort
View
LCC
1994
248views Algorithms» more  LCC 1994»
14 years 1 months ago
Comparing the Power of Monadic NP Games
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
Ronald Fagin
CORR
2008
Springer
122views Education» more  CORR 2008»
13 years 9 months ago
Strategy Improvement for Concurrent Safety Games
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
14 years 3 months ago
Managing non-determinism in symbolic robot motion planning and control
Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
Marius Kloetzer, Calin Belta
KIVS
2009
Springer
14 years 1 months ago
Banishing Patch-Cables from LAN Parties
Abstract. Although playing real-time multi-player games online over the Internet became more and more popular in the past few years, people still enjoy meeting for so-called “LAN...
Peter Baumung
GI
2009
Springer
14 years 1 months ago
Strategic Interaction Definition Language
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
Rustam Tagiew