Specification and Verification of Multi-agent Systems Interaction Protocols Using a Combination of AUML and Event B.
Leila Jemni Ben AyedFatma SialaPublished in: DSV-IS (2008)
Keyphrases
- multi agent systems
- interaction protocols
- agent systems
- multi agent
- formal verification
- agent communication
- multiagent systems
- asynchronous circuits
- cooperative
- dynamic environments
- autonomous agents
- formal methods
- game theory
- agent communication language
- agent technology
- model checking
- intelligent agents
- protocol specification
- software agents
- software systems
- coalition formation
- machine learning
- communicative acts