380 search results - page 5 / 76 » Formal driven prototyping approach for multiagent systems |
LOGCOM
2002
13 years 7 months ago
2002
paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through t...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Teamwork requires that team members coordinate their actions. The representation of the coordination is a key requirement since it influences the complexity and flexibility of r...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
In an open system, multi-agent computations must compete for resources required for satisfying their goals. We describe CyberOrgs, a hierarchical model for acquisition and control...
ICMAS
1998
13 years 9 months ago
1998
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...