Formal verification of group and propagated trust in multi-agent systems.
Nagat DrawelJamal BentaharAmine LaarejGaith RjoubPublished in: Auton. Agents Multi Agent Syst. (2022)
Keyphrases
- formal verification
- multi agent systems
- trust model
- model checking
- bounded model checking
- model checker
- automated verification
- symbolic model checking
- trust and reputation models
- program slicing
- open environments
- cooperative
- individual level
- multi agent
- agent technology
- multiagent systems
- intelligent agents
- artificial intelligence
- coalition formation
- game theory
- software agents
- autonomous agents
- agent platform