Specification and automatic verification of trust-based multi-agent systems.
Nagat DrawelHongyang QuJamal BentaharElhadi M. ShakshukiPublished in: Future Gener. Comput. Syst. (2020)
Keyphrases
- multi agent systems
- trust model
- multi agent
- agent systems
- cooperative
- complex systems
- agent oriented
- formal specification
- high level
- intelligent agents
- autonomous agents
- specification language
- agent architecture
- game theory
- software agents
- website
- data mining
- multi agent reinforcement learning
- formal verification
- multi agent environment
- computational logic
- data sets
- normative systems
- coalition formation
- agent technology
- conceptual model
- multiagent systems
- database systems
- information retrieval
- neural network