The focus of the paper is how to model autonomous behaviors of heterogeneous multi-agent systems such that it can be verified that they will always operate within predefined mission requirements and constraints. This is done by using formal methods with an abstraction of the behaviors modelling and model checking for the verification of them. Three case studies are presented to verify the decis...

We introduce a new method for processing agents in agent-based models that significantly improves the efficiency of certain models. Dynamic Agent Compression allows agents to shift in and out of a compressed state based on their changing levels of heterogeneity. Sets of homogeneous agents are stored in compact bins, making the model more efficient in its use of memory and computational cycles. ...

— This paper presents an agent-based infrastructure for grid computing called GrEASe (Grid Environment based on Agent Services). Grids are typically complex, heterogeneous, and highly dynamic environments, and agent technology can satisfy the basic requirements of this kind of contexts. GrEASe is organized as a two layer structure: the lower one providing the resource independent functionalitie...