Developing Formal Specifications of Multi-Agent Systems in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.
Hong ZhuPublished in: AOIS@CAiSE (2002)
Keyphrases
- multi agent systems
- multi agent
- formal specification
- object oriented design
- intelligent agents
- cooperative
- model checking
- coalition formation
- specification languages
- agent oriented
- specification language
- multiagent systems
- single agent
- autonomous agents
- agent communication
- reverse engineering
- multiagent environments
- formal methods
- multi agent reinforcement learning
- genetic algorithm
- production line
- case study
- process algebra
- software components
- functional dependencies
- design methodology
- business rules
- cognitive agents
- distributed search
- temporal logic
- multi agent learning
- software agents
- concurrent systems
- programming language
- reinforcement learning
- high level
- semantic data models