Affordable Access

Formal Specification of Multi-Agent Systems

Publication Date
  • Design


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.