Debugging and Verification of Multi-Agent Systems.
Clara Benac EarleLars-Åke FredlundPublished in: EUROCAST (2009)
Keyphrases
- multi agent systems
- hardware designs
- model checking
- agent architecture
- multi agent
- cooperative
- agent systems
- agent oriented
- bounded model checking
- intelligent agents
- signature verification
- game theory
- computational logic
- face verification
- coalition logic
- artificial intelligence
- formal verification
- np complete
- verification method
- multi agent learning
- inter agent
- agent platform
- normative systems
- java programs
- multiagent systems
- autonomous agents