Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems.
Angelo FerrandoPublished in: IPS-RCRA-SPIRIT@AI*IA (2023)
Keyphrases
- multi agent systems
- coalition formation
- multi agent
- cooperative
- software agents
- bounded model checking
- model checking
- case study
- autonomous agents
- game theory
- intelligent agents
- complex systems
- agent architecture
- verification method
- decision making
- knowledge management
- distributed problem solving
- agent systems
- signature verification
- solution concepts
- agent technology
- multiagent systems
- agent oriented
- knowledge base
- asynchronous circuits