RV4JaCa - Runtime Verification for Multi-Agent Systems.
Débora C. EngelmannAngelo FerrandoAlison R. PanissonDavide AnconaRafael H. BordiniViviana MascardiPublished in: AREA@IJCAI-ECAI (2022)
Keyphrases
- multi agent systems
- model checking
- agent architecture
- multi agent
- autonomous agents
- cooperative
- bounded model checking
- game theory
- verification method
- databases
- coalition formation
- single agent
- signature verification
- agent systems
- coalition logic
- concurrent systems
- formal verification
- intelligent agents
- cognitive agents
- multi agent reinforcement learning
- multi agent environment
- agent oriented
- data sets
- agent platform
- functional verification
- learning algorithm
- inter agent