45 search results - page 2 / 9 » Model checking knowledge, strategies, and games in multi-age... |
RIVF
2003
13 years 6 months ago
2003
— Game theory models and analyzes the situations of conflict and cooperation among independent decision-makers. We can view the runs of a multi-agent system as a game where the ...
DALT
2008
Springer
13 years 7 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
QEST
2007
IEEE
13 years 11 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
CISC
2009
Springer
13 years 3 months ago
2009
Springer
The anticipation game framework is an extension of attack graphs based on game theory. It is used to anticipate and analyze intruder and administrator concurrent interactions with ...
ECML
2004
Springer
13 years 10 months ago
2004
Springer
In this paper, we show how the dynamics of Q-learning can be visualized and analyzed from a perspective of Evolutionary Dynamics (ED). More specifically, we show how ED can be use...