Affordable Access

Formal Specification of Multi-Agent Systems

Authors
Publication Date
Disciplines
  • Design

Abstract

In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems.

There are no comments yet on this publication. Be the first to share your thoughts.