Architecture Modelling and Formal Analysis of Intelligent Multi-Agent Systems.
Ashalatha KunnappillySimin CaiRaluca MarinescuCristina SeceleanuPublished in: ENASE (2019)
Keyphrases
- formal analysis
- multi agent systems
- agent technology
- learning capabilities
- agent oriented
- agent model
- management system
- agent systems
- formal methods
- ban logic
- industrial automation
- cooperative
- intelligent systems
- autonomous agents
- game theory
- contract net protocol
- artificial intelligence
- intelligent agents
- software agents
- multiagent systems
- case study
- information systems