This paper describes STL, a new coordination model and corresponding language. STL's power and expressiveness are shown through a preliminary distributed implementation of a ...
Oliver Krone, Fabrice Chantemargue, Thierry Dagaef...
Social commitments have been increasingly used to model inter-agent dependencies and normative aspects of multiagent systems such as the semantics of agent communication. However,...
Weighted voting games provide a popular model of decision making in multiagent systems. Such games are described by a set of players, a list of players' weights, and a quota;...
Michael Zuckerman, Piotr Faliszewski, Yoram Bachra...
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
Marta Z. Kwiatkowska, Alessio Lomuscio, Hongyang Q...
ABSTRACT. Large, experimental Multi-Agent System (MAS) simulations are highly demanding tasks, both computationally and developmentally. Agent-toolkits provide reliable templates f...