Tech Reports


Modular Multi-Agent Design

Michael Fisher, Louise Dennis and Anthony Hepple


In this paper our aim is to bring together formal specification, automated verification, dynamic agent organisations, and visual modelling in order to provide a simple, but semantically coherent, framework for designing and developing multi-agent systems.

[Full Paper]