Towards an approach for behavioral specification of reactive multi-agent system.
Abdelhay HaqiqBouchaib BounabatPublished in: ICTA (2015)
Keyphrases
- multi agent systems
- agent architecture
- reactive systems
- cooperative
- multi agent
- intelligent agents
- agent behavior
- formal specification
- software agents
- specification language
- multiagent systems
- agent systems
- human behavior
- high level
- distributed multi agent systems
- autonomous agents
- agent technology
- temporal logic
- database
- model checking
- intelligent systems
- artificial intelligence
- machine learning
- databases