Sciweavers

2934 search results - page 7 / 587
» Universality in Multi-Agent Systems
Sort
View
44
Voted
ICSOFT
2008
14 years 11 months ago
A Hybrid Diagnostic-Recommendation System for Agent Execution in Multi-Agent Systems
Andrew Diniz da Costa, Carlos José Pereira ...
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...