VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181).
Alessio LomuscioSophie PinchinatHolger SchlingloffPublished in: Dagstuhl Reports (2013)
Keyphrases
- multi agent systems
- formal verification
- test generation
- symbolic execution
- model checking
- signature verification
- verification method
- face verification
- agent technology
- game theory
- intelligent agents
- cooperative
- multi agent
- artificial intelligence
- collaborative e learning
- concurrent systems
- false acceptance rate
- bounded model checking
- agent platform
- real time
- agent systems
- single agent
- software agents
- autonomous agents
- multiagent systems
- knowledge base
- neural network
- data sets