An Approach to Verification of a Family of Multiagent Systems for Conflict Resolution.
Natalya Olegovna GaraninaElena A. SidorovaPublished in: Autom. Control. Comput. Sci. (2017)
Keyphrases
- multiagent systems
- conflict resolution
- multi agent
- resolve conflicts
- autonomous agents
- resolving conflicts
- access control policies
- multiagent architecture
- distributed artificial intelligence
- multiagent planning
- multi agent systems
- extended logic programs
- model checking
- coalition formation
- collaborative design
- agent technology
- trust model
- agent societies
- ship design