2870 search results - page 6 / 574 » Synchronization of multi-agent systems |
194
Voted
WOA
2001
15 years 8 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...
139
Voted
ICSOFT
2008
15 years 8 months ago
2008
218
Voted
ATAL
2008
Springer
15 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...
253
click to vote
ATAL
2007
Springer
15 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...
239
click to vote
CAV
2009
Springer
15 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...