Keyphrases
- multi agent
- model checking
- cooperative
- multi agent systems
- functional verification
- single agent
- multiagent systems
- reinforcement learning
- face verification
- formal methods
- search algorithm
- oriented programming
- expert systems
- cooperative agents
- coalition formation
- multiple agents
- verification method
- database
- multi agent planning
- fingerprint verification
- formal verification
- data mining
- machine learning
- computer vision
- decision trees
- database systems