Sciweavers

1629 search results - page 8 / 326
» Evolutionary Multi-agent Systems
Sort
View
86
Voted
ATAL
2008
Springer
14 years 11 months ago
Supervision and diagnosis of joint actions in multi-agent plans
The paper formalizes a distributed approach to the problem of supervising the execution of a multi-agent plan where (possibly joint) actions are executed concurrently by a team of...
Roberto Micalizio, Pietro Torasso
117
Voted
ATAL
2007
Springer
15 years 1 months ago
A unified framework for multi-agent agreement
Multi-Agent Agreement problems (MAP) - the ability of a population of agents to search out and converge on a common state - are central issues in many multi-agent settings, from d...
Kiran Lakkaraju, Les Gasser
CAV
2009
Springer
239views Hardware» more  CAV 2009»
15 years 1 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
86
Voted
ATAL
2005
Springer
15 years 3 months ago
An autonomous performance control framework for Distributed Multi-Agent Systems: a queueing theory based approach
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
Nathan Gnanasambandam, Seokcheon Lee, Soundar R. T...
CEEMAS
2001
Springer
15 years 2 months ago
Rascal - A Resource Manager for Multi Agent Systems in Smart Spaces
Multi Agent Systems (MAS) are often used as a software substrate in creating smart spaces. Many of the solutions already developed within the MAS community are applicable in the do...
Krzysztof Gajos