Sciweavers

4447 search results - page 352 / 890
» Model Checking Games
Sort
View
173
Voted
ATAL
2004
Springer
16 years 4 days ago
Approximate Solutions for Partially Observable Stochastic Games with Common Payoffs
Partially observable decentralized decision making in robot teams is fundamentally different from decision making in fully observable problems. Team members cannot simply apply si...
Rosemary Emery-Montemerlo, Geoffrey J. Gordon, Jef...
WSC
2007
15 years 9 months ago
Supporting parametrization of business games for multiple educational settings
The parametrization of business games benefits from the usage of a multi-tier architecture and software services. This paper shows that the multi-tier concept supports parametriz...
Stijn-Pieter A. van Houten, Alexander Verbraeck
JANCL
2007
115views more  JANCL 2007»
15 years 6 months ago
A logical characterisation of qualitative coalitional games
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
Paul E. Dunne, Wiebe van der Hoek, Michael Wooldri...
AAAI
2012
13 years 9 months ago
Identifying Bullies with a Computer Game
Current computer involvement in adolescent social networks (youth between the ages of 11 and 17) provides new opportunities to study group dynamics, interactions amongst peers, an...
Juan Fernando Mancilla-Caceres, Wen Pu, Eyal Amir,...
AI
2003
Springer
15 years 12 months ago
Pattern-Based AI Scripting Using ScriptEase
Creating realistic artificially-intelligent characters is seen as one of the major challenges of the commercial games industry. Historically, character behavior has been specifie...
Matthew McNaughton, James Redford, Jonathan Schaef...