Sciweavers

3274 search results - page 140 / 655
» Communication strategies in games
Sort
View
MLQ
2008
63views more  MLQ 2008»
15 years 6 months ago
The stationary set splitting game
The stationary set splitting game is a game of perfect information of length 1 between two players, unsplit and split, in which unsplit chooses stationarily many countable ordinal...
Paul B. Larson, Saharon Shelah
IAT
2009
IEEE
15 years 4 months ago
Extending Algorithms for Mobile Robot Patrolling in the Presence of Adversaries to More Realistic Settings
Patrolling environments by means of autonomous mobile robots has received an increasing attention in the last few years. The interest of the agent community is mainly in the develo...
Nicola Basilico, Nicola Gatti, Thomas Rossi, Sofia...
FMCAD
2009
Springer
16 years 1 months ago
Synthesizing robust systems
—Many specifications include assumptions on the environment. If the environment satisfies the assumptions then a correct system reacts as intended. However, when the environmen...
Roderick Bloem, Karin Greimel, Thomas A. Henzinger...
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
16 years 24 days 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
ROBOCUP
2007
Springer
105views Robotics» more  ROBOCUP 2007»
16 years 18 days ago
Probabilistic Decision Making in Robot Soccer
Decision making is an important issue in robot soccer, which has not been investigated deeply enough by the RoboCup research community. This paper proposes a probabilistic approach...
Pablo Guerrero, Javier Ruiz-del-Solar, Gonzalo D&i...