Parametric Runtime Verification of Multiagent Systems.
Davide AnconaAngelo FerrandoViviana MascardiPublished in: AAMAS (2017)
Keyphrases
- multiagent systems
- multi agent
- autonomous agents
- model checking
- multiagent architecture
- multiagent planning
- multi agent systems
- multiagent reinforcement learning
- coalition formation
- distributed artificial intelligence
- robotic soccer
- decentralized control
- incomplete information
- trust model
- agent coordination
- learning in multi agent systems