2870 search results - page 6 / 574 » Synchronization of multi-agent systems |
WOA
2001
13 years 9 months ago
2001
Observation is becoming a crucial issue in the engineering of today's systems: the common practice for dealing with their complexity is to encapsulate their subcomponents abs...
ICSOFT
2008
13 years 9 months ago
2008
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
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...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
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...
CAV
2009
Springer
13 years 11 months ago
2009
Springer
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...