Composing and Verifying Commitment-Based Multiagent Protocols.
Matteo BaldoniCristina BaroglioAmit K. ChopraMunindar P. SinghPublished in: IJCAI (2015)
Keyphrases
- multi agent
- interaction protocols
- multiagent systems
- cooperative
- multi agent systems
- model checking
- autonomous agents
- voting protocols
- information retrieval
- reinforcement learning
- communication protocols
- planning under uncertainty
- agent communication
- mobile robot
- information systems
- real time
- single agent
- agent systems
- security protocols
- artificial intelligence
- distributed constraint optimization
- preference aggregation