4447 search results - page 53 / 890 » Model Checking Games |
150
click to vote
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
139
click to vote
CSL
2003
Springer
15 years 8 months ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...
DIGRA
2003
Springer
15 years 8 months ago
2003
Springer
This paper will focus on the inter-relationships between media, technology and culture as demonstrated by the online multiplayer FPS scene, and will make explicit the degree to wh...
153
click to vote
AIIDE
2008
15 years 5 months ago
2008
In this paper we describe a system called ViGLS (Visualization of Game Log Summaries) that generates summaries of gameplay sessions from game logs. ViGLS automatically produces vi...
95
Voted
AAAI
2004
15 years 4 months ago
2004
We consider how much influence a center can exert on a game if its only power is to propose contracts to the agents before the original game, and enforce the contracts after the g...