RV4JaCa - Towards Runtime Verification of Multi-Agent Systems and Robotic Applications.
Débora C. EngelmannAngelo FerrandoAlison R. PanissonDavide AnconaRafael H. BordiniViviana MascardiPublished in: Robotics (2023)
Keyphrases
- multi agent systems
- multi agent
- agent systems
- model checking
- agent architecture
- face verification
- coalition formation
- cooperative
- intelligent agents
- complex systems
- game theory
- autonomous agents
- formal verification
- agent technology
- verification method
- computational logic
- artificial intelligence
- bounded model checking
- formal analysis
- single agent
- person identification
- multi agent environment
- software agents
- data sets
- agent platform
- functional verification
- coalition logic