2870 search results - page 6 / 574 » Synchronization of multi-agent systems |
WOA
2001
14 years 11 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
14 years 11 months ago
2008
ATAL
2008
Springer
15 years 10 days 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...
122
click to vote
ATAL
2007
Springer
15 years 2 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...
113
click to vote
CAV
2009
Springer
15 years 2 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...