4447 search results - page 303 / 890 » Model Checking Games |
159
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
144
click to vote
AAIM
2009
Springer
15 years 11 months ago
2009
Springer
We study restricted improvement cycles (ri-cycles) in finite positional n-person games with perfect information modeled by directed graphs (digraphs) that may contain cycles. We o...
178
click to vote
AGS
2009
Springer
15 years 11 months ago
2009
Springer
Video games in general and educational role play games in particular would increase in believability if Non Player Characters reacted appropriately to the player’s actions. Reali...
138
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
171
click to vote
CAAN
2004
Springer
15 years 10 months ago
2004
Springer
Imagine a set of self-interested clients, each of whom must choose a server from a permissible set. A server’s latency is inversely proportional to its speed, but it grows linear...