264 search results - page 11 / 53 » Verifying Dribble Agents |
132
Voted
IEAAIE
2011
Springer
14 years 4 months ago
2011
Springer
Using model checking to verify that interaction protocols have given properties is widely recognized as an important issue in multiagent systems where autonomous and heterogeneous ...
107
Voted
ARGMAS
2008
Springer
15 years 3 months ago
2008
Springer
Verification that agent communication protocols have desirable properties or do not have undesirable properties is an important issue in agent systems where agents intend to commu...
112
Voted
KI
2006
Springer
15 years 29 days ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
113
Voted
DALT
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we address the challenges associated with the verification of correctness of communication between agents in MultiAgent Systems. Our approach applies model-checking ...
112
Voted
ATAL
2003
Springer
15 years 4 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...