Formal verification of multi-agent systems behaviour emerging from cognitive task analysis.
Ana Lilia Laureano-CrucesAxel Arturo Barceló-AspeitiaPublished in: J. Exp. Theor. Artif. Intell. (2003)
Keyphrases
- formal verification
- multi agent systems
- model checking
- bounded model checking
- cognitive model
- cognitive agents
- model checker
- automated verification
- symbolic model checking
- agent architecture
- cooperative
- data mining
- decision making
- agent systems
- intelligent agents
- game theory
- multi agent
- coalition formation
- program slicing
- cognitive science
- cognitive processes
- cognitive architecture
- multiagent systems
- information processing
- temporal logic
- human decision making
- software agents
- agent platform
- functional verification
- single agent
- formal specification
- mental models
- agent technology
- autonomous agents