Specifying and verifying holonic agents with GDT4MAS.
Bruno MermetGaële SimonPublished in: Int. J. Agent Oriented Softw. Eng. (2010)
Keyphrases
- multi agent systems
- multi agent
- autonomous agents
- multiagent systems
- software agents
- cooperative
- multiagent environments
- intelligent agents
- complex systems
- agent technology
- agents and multi agent systems
- single agent
- coalition formation
- agent oriented
- distributed artificial intelligence
- multi agents systems
- agent systems
- open multi agent systems
- agent based systems
- agent architecture
- agent interactions
- multiple agents
- agent behavior
- agent communication
- holonic manufacturing systems
- multi agent platform
- model checking
- open environments
- electronic institutions
- trust model
- distributed multi agent systems