Formal Specification of Actual Trust in Multiagent Systems.
Michael AkintundeVahid YazdanpanahAsieh Salehi FathabadiCorina CîrsteaMehdi DastaniLuc MoreauPublished in: HHAI (2024)
Keyphrases
- multiagent systems
- formal specification
- trust model
- model checking
- specification language
- open systems
- specification languages
- multi agent
- autonomous agents
- object oriented design
- design methodologies
- distributed artificial intelligence
- process algebra
- open environments
- multiagent planning
- concurrent systems
- formal methods
- multi agent systems
- design methodology
- reverse engineering
- coalition formation
- robotic soccer
- multiagent reinforcement learning
- decentralized control
- software components
- virtual communities
- adjustable autonomy