Event-B based Verification of Interaction Properties In Multi-Agent Systems.
Leila Jemni Ben AyedFatma SialaPublished in: J. Softw. (2009)
Keyphrases
- multi agent systems
- event detection
- case study
- coalition formation
- multi agent
- agent architecture
- desirable properties
- bounded model checking
- agent systems
- agent technology
- human computer interaction
- information systems
- game theory
- cooperative
- information retrieval
- agent oriented
- event driven
- formal verification
- cognitive agents
- data sets