Verification of Multi-agent Systems with Timeouts for Migration and Communication.
Bogdan AmanGabriel CiobanuPublished in: ICTAC (2019)
Keyphrases
- multi agent systems
- cooperative
- agent communication
- multi agent
- communication networks
- fully distributed
- information sharing
- agent architecture
- database
- instant messaging
- agent systems
- computer networks
- agent technology
- coalition formation
- communication channels
- software agents
- model checking
- agent interactions
- neural network
- computational logic
- agent platform
- contract net protocol
- verification method
- multi agent reinforcement learning
- fipa acl
- communication overhead
- agent oriented
- resource constrained
- communication cost
- game theory
- data sets