2979 search results - page 16 / 596 » Modelling secure multiagent systems |
ATAL
2004
Springer
13 years 10 months ago
2004
Springer
We present an approach to the problem of verification of epistemic properties of multi-agent systems by means of symbolic model checking. In particular, it is shown how to extend ...
SIMPRA
2008
13 years 6 months ago
2008
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
RIVF
2003
13 years 8 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 ...
SELMAS
2005
Springer
14 years 6 days ago
2005
Springer
In this paper, we examine the Multiagent Systems Engineering (MaSE) methodology and its applicability to developing organization-based multiagent systems, which are especially rele...
AAAI
2012
11 years 9 months ago
2012
The multiagent systems community has adopted game theory as a framework for the design of systems of multiple self-interested agents. For this to be effective, efficient algorith...