4447 search results - page 238 / 890 » Model Checking Games |
129
click to vote
FASE
2010
Springer
15 years 9 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...
115
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In many complex multi-agent domains it is impractical to compute exact analytic solutions. An alternate means of analysis applies computational tools to derive and analyze empiric...
138
click to vote
TSMC
2010
14 years 11 months ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
125
click to vote
CEAS
2005
Springer
15 years 10 months ago
2005
Springer
We discuss how the interaction between spam senders and e-mail users can be modelled as a two-player adversary game. We show how the resulting model can be used to predict the str...
110
click to vote
JOLLI
2002
15 years 4 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...