4447 search results - page 63 / 890 » Model Checking Games |
125
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
145
Voted
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
134
click to vote
CMSB
2008
Springer
15 years 5 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
147
Voted
CEEMAS
2003
Springer
15 years 8 months ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the di...
102
click to vote
TLCA
1997
Springer
15 years 7 months ago
1997
Springer
We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...