Inductive verification and validation of multi agent systems.
Nico JacobsKurt DriessensLuc De RaedtPublished in: EUROVAV (1998)
Keyphrases
- multi agent systems
- multi agent
- coalition formation
- model checking
- machine learning
- autonomous agents
- agent systems
- inductive learning
- agent architecture
- concept learning
- formal verification
- agent platform
- software agents
- verification method
- cooperative
- multi agent reinforcement learning
- concurrent systems
- signature verification
- bounded model checking
- functional verification
- single agent
- formal analysis
- agent technology
- inductive logic programming
- game theory
- intelligent agents
- data mining
- rule learning
- face verification
- artificial intelligence
- deductive reasoning
- genetic algorithm
- data sets