4447 search results - page 23 / 890 » Model Checking Games |
107
click to vote
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
144
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Opponent models are necessary in games where the game state is only partially known to the player, since the player must infer the state of the game based on the opponent’s acti...
128
click to vote
FOSSACS
2004
Springer
15 years 8 months ago
2004
Springer
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
145
click to vote
AAAI
2012
13 years 5 months ago
2012
General Game Playing is the design of AI systems able to understand the rules of new games and to use such descriptions to play those games effectively. Games with imperfect infor...
148
click to vote
ICALP
2009
Springer
16 years 3 months ago
2009
Springer
We consider graphical games in which edges are zero-sum games between the endpoints/players; the payoff of a player is the sum of the payoffs from each incident edge. We give a si...